9989 search results - page 412 / 1998 » A CLP Approach to Modelling Systems |
167
click to vote
AUSAI
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. Traditional approaches to evolvable hardware (EHW), using a direct encoding, have not scaled well with increases in problem complexity. To overcome this there have been m...
201
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract-- We present a computational framework for identifying a set of initial states from which all trajectories of a piecewise affine (PWA) system satisfy a Linear Temporal Log...
210
click to vote
CSCW
2012
ACM
14 years 2 months ago
2012
ACM
Two important performance metrics in collaborative systems are local and remote response times. Previous analytical and simulation work has shown that these response times depend ...
205
click to vote
BMVC
2001
15 years 9 months ago
2001
This paper addresses the problem of using appearance and motion models in classifying and tracking objects when detailed information of the object’s appearance is not available....
191
click to vote
ICDE
1994
IEEE
15 years 11 months ago
1994
IEEE
The relational data model is based on sets of tuples, i.e. it does not allow duplicate tuples in a relation. Many database languages and systems do require multi-set place, the hi...