28 search results - page 2 / 6 » Decidability Results for Saturation-Based Model Building |
JELIA
2004
Springer
13 years 10 months ago
2004
Springer
Practical reasoners are resource-bounded—in particular they require time to derive consequences of their knowledge. Building on the Timed Reasoning Logics (TRL) framework introdu...
RAID
2010
Springer
13 years 3 months ago
2010
Springer
Enterprise networks face a variety of threats including worms, viruses, and DDoS attacks. Development of effective defenses against these threats requires accurate inventories of n...
WSCG
2001
13 years 6 months ago
2001
This paper tests the hypothesis that it is possible to build a generic Behavioural Animation system. The paper outlines the four models that form the key elements of a Behavioural...
ICRA
2008
IEEE
13 years 11 months ago
2008
IEEE
— As part of a program to find methods of reducing spatial interference in multi-robot systems, we propose the Interaction Grid (IG), a generalization of the Occupancy Grid that...
ECCV
2010
Springer
13 years 6 months ago
2010
Springer
When given a single static picture, humans can not only interpret the instantaneous content captured by the image, but also they are able to infer the chain of dynamic events that ...