2364 search results - page 196 / 473 » An Engine for Computing Well-Founded Models |
194
click to vote
CAISE
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. To cope with the ever increasing diversity of markup languages, programming languages, tool kits and interface development environments, conceptual modeling of user inter...
273
click to vote
FASE
2011
Springer
14 years 10 months ago
2011
Springer
Probabilistic verification techniques have been applied to the formal modelling and analysis of a wide range of systems, from communication protocols such as Bluetooth, to nanosca...
248
click to vote
PAMI
2012
13 years 9 months ago
2012
—We present a novel framework to generate and rank plausible hypotheses for the spatial extent of objects in images using bottom-up computational processes and mid-level selectio...
181
click to vote
SAC
2005
ACM
16 years 1 days ago
2005
ACM
The launch of new features for mobile phones is increasing and the product life cycle symmetrically decreasing in duration as higher levels of sophistication are reached. Therefor...
181
click to vote
KBSE
2005
IEEE
16 years 2 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...