1111 search results - page 57 / 223 » A Conceptual Modeling Technique Based on Semantically Comple... |
ENTCS
2006
13 years 8 months ago
2006
Bounded Model Checking (BMC) searches for counterexamples to a property with a bounded length k. If no such counterexample is found, k is increased. This process terminates when ...
JAIR
2007
13 years 8 months ago
2007
This paper introduces and analyzes a battery of inference models for the problem of semantic role labeling: one based on constraint satisfaction, and several strategies that model...
ICLP
2010
Springer
14 years 18 days ago
2010
Springer
We define the Tight Semantics (TS), a new semantics for all NLPs complying with the requirements of: 2-valued semantics; preserving the models of SM; guarantee of model existence...
PDSE
1998
13 years 10 months ago
1998
As a means of modeling typical system behavior, we present a description technique for business processes derived from data flow nets and provide it with a formal semantics based ...
404
click to vote
Book
It's a complete robotic navigation cookbook!
"This book surveys the state of the art in sensors, systems, methods and technologies utilized by a mobile robot to determin...