Sciweavers

12487 search results - page 384 / 2498
» Graspable Work Modeling
Sort
View
PADL
2004
Springer
15 years 11 months ago
Pruning in the Extended Andorra Model
One of the major problems that actual logic programming systems have to address is whether and how to prune undesirable parts of the search space. A region of the search space woul...
Ricardo Lopes, Vítor Santos Costa, Fernando...
SEMWEB
2004
Springer
15 years 11 months ago
A Model Theoretic Semantics for Ontology Versioning
Abstract. We show that the Semantic Web needs a formal semantics for the various kinds of links between ontologies and other documents. We provide a model theoretic semantics that ...
Jeff Heflin, Zhengxiang Pan
SSPR
2004
Springer
15 years 11 months ago
Tracking the Evolution of a Tennis Match Using Hidden Markov Models
The creation of a cognitive perception systems capable of inferring higher-level semantic information from low-level feature and event information for a given type of multimedia co...
Ilias Kolonias, William J. Christmas, Josef Kittle...
ICCD
2003
IEEE
113views Hardware» more  ICCD 2003»
15 years 11 months ago
Multiple Transition Model and Enhanced Boundary Scan Architecture to Test Interconnects for Signal Integrity
As the technology is shrinking toward 50 nm and the working frequency is going into multi gigahertz range, the effect of interconnects on functionality and performance of system-o...
Mohammad H. Tehranipour, Nisar Ahmed, Mehrdad Nour...
ICRA
2003
IEEE
133views Robotics» more  ICRA 2003»
15 years 11 months ago
Conflict-free routing of AGVs on the mesh topology based on a discrete-time model
: Automated Guided Vehicles (or AGVs for short) have become an important option in material handling. In many applications, such as container terminals, the service area is often a...
Jianyang Zeng, Wen-Jing Hsu