Sciweavers

570 search results - page 86 / 114
» A Connectivity Constraint Using Bridges
Sort
View
ICTAI
1996
IEEE
14 years 24 days ago
Order in Space: A General Formalism for Spatial Reasoning
In this paper we propose a general approach for reasoning in space. The approach is composed of a set of two general constraints to govern the spatial relationships between object...
Baher A. El-Geresy, Alia I. Abdelmoty
ISER
1997
Springer
202views Robotics» more  ISER 1997»
14 years 24 days ago
Interactive Visual and Force Rendering of Human-Knee Dynamics
The kinematics and force/displacement relationships of elements of biological joints are notoriously difficult to understand. In particular, the human knee has bearing surfaces o...
Randy E. Ellis, P. Zion, C. Y. Tso
EDOC
2009
IEEE
14 years 15 days ago
Realizing Correspondences in Multi-viewpoint Specifications
Viewpoint modeling is an effective technique for specifying complex software systems in terms of a set of independent viewpoints and correspondences between them. Each viewpoint f...
José Raúl Romero, Juan Ignacio Jaen,...
IJCAI
2007
13 years 10 months ago
Recursive Random Fields
A formula in first-order logic can be viewed as a tree, with a logical connective at each node, and a knowledge base can be viewed as a tree whose root is a conjunction. Markov l...
Daniel Lowd, Pedro Domingos
SDL
2007
139views Hardware» more  SDL 2007»
13 years 10 months ago
A Model-Based Standard for SDL
Abstract. It is still the case that language descriptions have lots of semantic information captured using plain (English) text. These imprecise descriptions are hardly usable for ...
Andreas Prinz, Markus Scheidgen, Merete Skjelten T...