9989 search results - page 367 / 1998 » A CLP Approach to Modelling Systems |
180
click to vote
RISE
2004
Springer
16 years 3 days ago
2004
Springer
In this paper, we develop a symbolic representation for timed concurrent constraint (tccp) programs, which can be used for defining a lightweight model–checking algorithm for re...
212
click to vote
AINA
2006
IEEE
16 years 25 days ago
2006
IEEE
— In today’s service market the provisioning of high quality services has become a critical issue for providers as the business success of their customers is often based on the...
183
Voted
ICPP
2000
IEEE
15 years 11 months ago
2000
IEEE
In this paper a sufficient condition is given for minimal routing in n-dimensional (n-D) meshes with faulty nodes contained in a set of disjoint fault regions. It is based on an ...
214
click to vote
CVPR
1996
IEEE
15 years 11 months ago
1996
IEEE
We present a vision system for the 3-D modelbased tracking of unconstrained human movement. Using image sequences acquired simultaneously from multiple views, we recover the 3-D b...
180
click to vote
IPCO
2008
15 years 8 months ago
2008
In this paper, we present a new Integer Program (IP) for the Air Traffic Flow Management (ATFM) problem. The model we propose provides a complete representation of all the phases o...