Sciweavers

3979 search results - page 563 / 796
» Wild control operators
Sort
View
FASE
2010
Springer
16 years 1 months ago
Analyzing the Impact of Change in Multi-threaded Programs
We introduce a technique for debugging multi-threaded C programs and analyzing the impact of source code changes, and its implementation in the prototype tool Direct. Our approach ...
Krishnendu Chatterjee, Luca de Alfaro, Vishwanath ...
HYBRID
2010
Springer
16 years 1 months ago
From synchronous programs to symbolic representations of hybrid systems
In this paper, we present an extension of the synchronous language Quartz by new kinds of variables, actions and statements for modeling the interaction of synchronous systems wit...
Kerstin Bauer, Klaus Schneider
ISBI
2009
IEEE
16 years 1 months ago
Direct Adaptive Algorithms for CT Reconstruction
This work concerns with linear and spatially-adaptive direct reconstruction algorithms for 2-D parallel-beam transmission tomography, extending the Filtered Back-Projection (FBP)....
Joseph Shtok, Michael Elad, Michael Zibulevsky
CSE
2009
IEEE
16 years 1 months ago
Intelligent Middleware for Adaptive Sensing of Tennis Coaching Sessions
—In professional tennis training matches, the coach needs to be able to view play from the most appropriate angle in order to monitor players activities. In this paper, we presen...
Richard Tynan, Anthony Schoofs, Conor Muldoon, Gre...
HAPTICS
2009
IEEE
16 years 1 months ago
Role determination in human-human interaction
Physical human-robot interaction can be significantly improved when being aware about the role each partner takes in a joint manipulation task. This holds especially in computer ...
Nikolay Stefanov, Angelika Peer, Martin Buss