187 search results - page 3 / 38 » Semantic Interpretation Based on the Multi-World Model |
TACAS
2010
Springer
14 years 22 days ago
2010
Springer
We study the model checking problem of timed automata based on SAT solving. Our work investigates alternative possibilities for coding the SAT reductions that are based on parallel...
ENTCS
2002
13 years 5 months ago
2002
Call-by-push-value is a "semantic machine code", providing a set of simple primitives from which both the call-by-value and call-by-name paradigms are built. We present i...
EUROCAST
2005
Springer
2005
Springer
Similarity Queries in Data Bases Using Metric Distances - from Modeling Semantics to Its Maintenance
13 years 11 months ago
Similarity queries in traditional databases work directly on attribute values. But, often similar attribute values do not indicate similar meanings. Semantic background information...
ICVS
2003
Springer
13 years 11 months ago
2003
Springer
This paper presents an extensible architectural model for general content-based analysis and indexing of video data which can be customised for a given problem domain. Video interp...
LICS
2010
IEEE
13 years 4 months ago
2010
IEEE
ing the differential semantics of rule-based models: exact and automated model reduction (Invited Lecture) Vincent Danos∗§, J´erˆome Feret†, Walter Fontana‡, Russell Harme...