|
Documentos: 
51. (72%)
On Fourier's Algorithm for Linear Arithmetic
- Jean-louis Lassez,Michael J. Maher
In the 1820's Fourier provided the first algorithm for solving linear arithmetic constraints. In oth ... (ps) - 31-mar-2009
52. (72%)
A bi-level programming approach for trip matrix estimation and traffic control problems with stochastic user equilibrium link flows
- Maher, Michael J.; Zhang, Xiaoyan; Vliet, Dirck Van
This paper deals with two mathematically similar problems in transport network analysis: trip matrix ... - 27-may-2009
53. (72%)
A statistical procedure for estimating a mean origin-destination matrix from a partial registration plate survey
- Watling, David P.; Maher, Michael J.
This paper addresses the problem of matching partial registration plate data collected at a number o ... - 27-may-2009
54. (72%)
A comparison of bribery and bidding in thin markets
- Beck, Paul J.; Maher, Michael W.
- 27-may-2009
55. (72%)
Toward Practical Query Evaluation for Constraint Databases
- Alexander Brodsky; Joxan Jaffar; Michael J. Maher
. Linear constraint databases (LCDBs) extend relational databases to include linear arithmetic cons ... (application/postscript) - 23-jul-2009
56. (72%)
Replay, Recovery, Replication, and Snapshots of Nondeterministic Concurrent Programs
- Haim Gaifman; Michael J. Maher; Ehud Shapiro
The problem of replaying computations of nondeterministic concurrent programs arises in contexts su ... (application/postscript) - 23-jul-2009
57. (72%)
An Architecture and Prototype Implementation of a System for Individualised Workflows in Medical Information Systems
- Joxan Jaffar; Michael J. Maher; Gustaf Neumann
This paper is a report from a project that tried to design and implement a highly flexible workflow ... (application/postscript) - 23-jul-2009
58. (72%)
An Architecture and Prototype Implementation of a System for Individualised Workflows in Medical Information Systems
- Joxan Jaffar; Michael J. Maher; Gustaf Neumann
This paper is a report from a project that tried to design and implement a highly flexible workflow ... (application/postscript) - 31-jul-2009
59. (72%)
A local search approach to modelling and solving Interval Algebra problems
- J. Thornton; M. Beaumont; A. Sattar; Michael Maher
Local search techniques have attracted considerable interest in the arti-ficial intelligence communi ... (application/pdf) - 17-sep-2009
60. (72%)
Solving over-constrained temporal reasoning problems
- M. Beaumont; J. Thornton; A. Sattar; Michael Maher
Abstract. Temporal reasoning is an important task in many areas of computer science including planni ... (application/pdf) - 22-sep-2009 |
|||||
Ciudad Grupo Santander
Avda. de Cantabria, s/n - 28660
Boadilla del Monte
Madrid, España