1264 search results - page 210 / 253 » The framework approach for constraint satisfaction |
119
click to vote
UML
2005
Springer
15 years 7 months ago
2005
Springer
Crosscutting concerns are pervasive in embedded software, because of the various constraints imposed by the environment and the stringent QOS requirements on the system. This pape...
134
click to vote
ATAL
2003
Springer
15 years 7 months ago
2003
Springer
Interacting agents that interleave planning and execution must reach consensus on their commitments to each other. In domains where agents have varying degrees of interaction and ...
109
click to vote
FROCOS
2009
Springer
15 years 5 months ago
2009
Springer
In recent years, the problem of extracting a MUS (Minimal Unsatisfiable Subformula) from an unsatisfiable CNF has received much attention. Indeed, when a Boolean formula is proved ...
116
click to vote
DRR
2008
15 years 3 months ago
2008
We describe an approach to unsupervised high-accuracy recognition of the textual contents of an entire book using fully automatic mutual-entropy-based model adaptation. Given imag...
126
click to vote
BCSHCI
1997
15 years 3 months ago
1997
In this article we wish to show a method to go beyond the established approaches of human-computer interaction. We first bring a serious critique of traditional interface types, sh...