Sciweavers

1285 search results - page 132 / 257
» Structural Operators for Modeling 3-Manifolds
Sort
View
CATA
2006
15 years 2 months ago
vHand: A Human Hand Simulation System
This paper introduces a real time human hand simulation system. A lifelike hand model is constructed and some of the human hand constraints are applied to it. Natural hand gesture...
Beifang Yi, Frederick C. Harris Jr., Sergiu M. Das...
LFP
1990
102views more  LFP 1990»
15 years 1 months ago
A Semantic Basis for Quest
Quest is a programming language based on impredicative type quantifiers and subtyping within a three-level structure of kinds, types and type operators, and values. The semantics ...
Luca Cardelli, Giuseppe Longo
ACSD
2010
IEEE
215views Hardware» more  ACSD 2010»
14 years 10 months ago
A Formal Semantics of Clock Refinement in Imperative Synchronous Languages
The synchronous model of computation divides the execution of a program into an infinite sequence of socalled macro steps, which are further divided into finitely many micro steps....
Mike Gemunde, Jens Brandt, Klaus Schneider
115
Voted
WORDS
2003
IEEE
15 years 6 months ago
Event-Driven Support of Real-Time Sentient Objects
The emergence of applications operating independently of direct human control is inevitable. Research on high-level models for this class of applications— e.g. on autonomous age...
Paulo Veríssimo, Antonio Casimiro
ISORC
2008
IEEE
15 years 7 months ago
On Safe Service-Oriented Real-Time Coordination for Autonomous Vehicles
The performance of autonomous vehicles could be drastically improved if ad-hoc networking and suitable real-time coordination is employed to optimize and improve the joint behavio...
Basil Becker, Holger Giese