3009 search results - page 457 / 602 » The Expressive Rate of Constraints |
202
click to vote
KBSE
2005
IEEE
16 years 18 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...
206
click to vote
CASSIS
2005
Springer
16 years 17 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...
189
Voted
ICMI
2005
Springer
16 years 16 days 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...
187
Voted
IDA
2005
Springer
16 years 16 days 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...
204
click to vote
LPNMR
2005
Springer
16 years 16 days 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...