46 search results - page 7 / 10 » Constraint satisfaction: a personal perspective |
RTSS
1999
IEEE
13 years 12 months ago
1999
IEEE
The e ective design of composite dependable and real-time protocols entails demonstrating their proof of correctness and, in practice, the e cient delivery of services. We focus o...
CDC
2009
IEEE
13 years 5 months ago
2009
IEEE
The purpose of this paper is to estimate the position of a human in the image frame and to use this information to diagnose falls. A nonholonomic locomotion model describes the dis...
ATAL
2005
Springer
14 years 1 months ago
2005
Springer
Methods for solving Distributed Constraint Optimization Problems (DCOP) have emerged as key techniques for distributed reasoning. Yet, their application faces significant hurdles...
SAC
2003
ACM
14 years 26 days ago
2003
ACM
Many information systems are used in a problem solving context. Examples are travel planning systems, catalogs in electronic commerce, or agenda planning systems. They can be made...
GECCO
2008
Springer
13 years 8 months ago
2008
Springer
The process of creating e-learning contents using reusable learning objects (LOs) can be broken down in two sub-processes: LOs finding and LO sequencing. Sequencing is usually per...