1353 search results - page 115 / 271 » Streamlined Constraint Reasoning |
72
Voted
DAC
2005
ACM
15 years 11 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 ...
149
click to vote
SOFSEM
2009
Springer
15 years 7 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...
74
Voted
ICMCS
2006
IEEE
15 years 4 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...
86
Voted
FOIKS
2006
Springer
15 years 1 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...
97
Voted
VSTTE
2012
Springer
13 years 5 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...