1264 search results - page 188 / 253 » The framework approach for constraint satisfaction |
185
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
We introduce an extension of the XQuery language, FluX, that supports event-based query processing and the conscious handling of main memory buffers. Purely event-based queries of...
176
click to vote
JAR
2000
15 years 6 months ago
2000
We present a formal specification and verification approach for industrial product data bases containing Boolean logic formulae to express constraints. Within this framework, globa...
184
click to vote
JAIR
2002
15 years 6 months ago
2002
Hidden Markov models hmms and partially observable Markov decision processes pomdps provide useful tools for modeling dynamical systems. They are particularly useful for represent...
150
click to vote
PCM
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. The semantic contextual information is shown to be an important resource for improving the scene and image recognition, but is seldom explored in the literature of previo...
164
click to vote
COMPSAC
2010
IEEE
15 years 4 months ago
2010
IEEE
We present a pattern-based method to express time specifications in the language TLA+ . A real-time module RealTimeNew is introduced to encapsulate the definitions of commonly used...