Sciweavers

5550 search results - page 142 / 1110
» Different Approaches to Proof Systems
Sort
View
SMC
2010
IEEE
193views Control Systems» more  SMC 2010»
15 years 4 months ago
A cooperative approach for handshake detection based on body sensor networks
The handshake gesture is an important part of the social etiquette in many cultures. It lies at the core of many human interactions, either in formal or informal settings: exchangi...
Antonio Augimeri, Giancarlo Fortino, Manoj R. Rege...
CDC
2010
IEEE
161views Control Systems» more  CDC 2010»
15 years 28 days ago
A geometric approach to air traffic complexity evaluation for strategic trajectory management
In the perspective next generation Air Traffic Management (ATM) systems, aircraft will be endowed with part of the responsibility for separation maintenance, and traffic complexity...
Luigi Piroddi, Maria Prandini
MASCOTS
2010
15 years 4 months ago
Exploiting Concurrency to Improve Latency and throughput in a Hybrid Storage System
—This paper considers the problem of how to improve the performance of hybrid storage system employing solid state disks and hard disk drives. We utilize both initial block alloc...
XiaoJian Wu, A. L. Narasimha Reddy
FDL
2004
IEEE
15 years 10 months ago
Predictability in Real-time System Development (2) A Case Study
In a companion paper [HVV04], we have investigated the deficiency of existing design approaches in supporting predictability for real-time control system development. A design app...
Jinfeng Huang, Jeroen Voeten, Piet van der Putten,...
KI
1990
Springer
15 years 10 months ago
The Representation of Program Synthesis in Higher Order Logic
ue to a lack of abstraction in the formalization of deductive mechanisms involved in programming reasoning tools for the development of program synthesizers are not yet available. ...
Christoph Kreitz