178 search results - page 28 / 36 » Solving Disjunctive Constraints for Interactive Graphical Ap... |
109
Voted
DSN
2002
IEEE
15 years 4 months ago
2002
IEEE
—Advanced automotive control applications such as steer-by-wire are typically implemented as distributed systems comprising many embedded processors, sensors, and actuators inter...
ICRA
2009
IEEE
15 years 6 months ago
2009
IEEE
Abstract— Robotic manipulation is important for real, physical world applications. General Purpose manipulation with a robot (eg. delivering dishes, opening doors with a key, etc...
135
click to vote
SEBD
2003
15 years 29 days ago
2003
The Ambient Logic is a modal logic proposed to describe the structural and computational properties of distributed and mobile computations. The static part of the Ambient Logic is,...
91
Voted
EUROMICRO
1996
IEEE
15 years 3 months ago
1996
IEEE
SHE (Software/Hardware Engineering) is an objectoriented analysis, specification and design method for complex reactive hardware/software systems. SHE is based on the formal speci...
114
Voted
SMA
1995
ACM
15 years 3 months ago
1995
ACM
We describe a method of constructing a B-rep solid model from a single hidden-line removed sketch view of a 3D object. The main steps of our approach are as follows. The sketch is...