3009 search results - page 457 / 602 » The Expressive Rate of Constraints |
181
click to vote
KBSE
2005
IEEE
16 years 3 days ago
2005
IEEE
We present a new model checking algorithm for verifying computation tree logic (CTL) properties. Our technique is based on using language inference to learn the fixpoints necessar...
183
click to vote
CASSIS
2005
Springer
16 years 1 days ago
2005
Springer
This paper introduces notions of resource policy for mobile code to be run on smart devices, to integrate with the proof-carrying code architecture of the Mobile Resource Guarantee...
168
click to vote
ICMI
2005
Springer
16 years 22 hour ago
2005
Springer
Untethered multimodal interfaces are more attractive than tethered ones because they are more natural and expressive for interaction. Such interfaces usually require robust vision...
171
click to vote
IDA
2005
Springer
16 years 19 hour ago
2005
Springer
Clustering or bi-clustering techniques have been proved quite useful in many application domains. A weakness of these techniques remains the poor support for grouping characterizat...
184
click to vote
LPNMR
2005
Springer
16 years 10 hour ago
2005
Springer
Equilibrium logic, introduced by David Pearce, extends the concept of an answer set from logic programs to arbitrary sets of formulas. Logic programs correspond to the special case...