1353 search results - page 115 / 271 » Streamlined Constraint Reasoning |
116
Voted
DAC
2005
ACM
16 years 2 months ago
2005
ACM
Many reconfigurable architectures offer partial dynamic configurability, but current system-level tools cannot guarantee feasible implementations when exploiting this feature. We ...
182
click to vote
SOFSEM
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Constraint Handling Rules (CHR) is a general purpose, committedchoice declarative language which, differently from other similar languages, uses multi-headed (guarded) ru...
ICMCS
2006
IEEE
15 years 7 months ago
2006
IEEE
People identification is an essential task for video content analysis in a surveillance system. A good classifier, however, requires a large amount of training data, which may not...
114
click to vote
FOIKS
2006
Springer
15 years 5 months ago
2006
Springer
This paper presents a semantic foundation of temporal conceptual models used to design temporal information systems. We consider a modeling language able to express both timestampi...
132
Voted
VSTTE
2012
Springer
13 years 9 months ago
2012
Springer
Motivated by the problem of deciding verification conditions for the verification of functional programs, we present new decision procedures for automated reasoning about functio...