883 search results - page 86 / 177 » The Semantics of Verilog Using Transition System Combinators |
HUC
2004
Springer
14 years 2 months ago
2004
Springer
We present an automated transportation routing system, called “Opportunity Knocks,” whose goal is to improve the efficiency, safety and independence of individuals with mild co...
WWW
2005
ACM
14 years 9 months ago
2005
ACM
Constructing and maintaining semantic mappings are necessary but troublesome in data sharing systems. While most current work focuses on seeking automated techniques to solve this...
AR
2006
13 years 9 months ago
2006
Rescue robotics is an important steppingstone in the scientific challenge to create autonomous systems. There is a significant market for rescue robots, which has unique features ...
CSREASAM
2006
13 years 10 months ago
2006
: Traditional state modeling techniques have several limitations. One of these is the reduced ability to model a large number of variables simultaneously. Another limitation is tha...
ML
2010
ACM
13 years 4 months ago
2010
ACM
With the advent of the Semantic Web, description logics have become one of the most prominent paradigms for knowledge representation and reasoning. Progress in research and applica...