Sciweavers

5550 search results - page 347 / 1110
» Different Approaches to Proof Systems
Sort
View
TABLEAUX
2009
Springer
16 years 1 months ago
A Novel Architecture for Situation Awareness Systems
Situation Awareness (SA) is the problem of comprehending elements of an environment within a volume of time and space. It is a crucial factor in decision-making in dynamic environm...
Franz Baader, Andreas Bauer 0002, Peter Baumgartne...
WOSP
1998
ACM
15 years 11 months ago
Poems: end-to-end performance design of large parallel adaptive computational systems
The POEMS project is creating an environment for end-to-end performance modeling of complex parallel and distributed systems, spanning the domains of application software, runti...
Ewa Deelman, Aditya Dube, Adolfy Hoisie, Yong Luo,...
JSS
2002
63views more  JSS 2002»
15 years 6 months ago
Strategies for resolving inter-class data conflicts in mixed real-time database systems
Although many efficient concurrency control protocols have been proposed for real-time database systems, they are mainly designed for the systems with a single type of real-time t...
Kam-yiu Lam, Tei-Wei Kuo, Tony S. H. Lee
IJRR
2010
159views more  IJRR 2010»
15 years 1 months ago
Vision-guided Robot System for Picking Objects by Casting Shadows
We present a complete vision guided robot system for model based 3D pose estimation and picking of singulated 3D objects. Our system employs a novel vision sensor consisting of a ...
Amit Agrawal, Yu Sun, John Barnwell, Ramesh Raskar
TMM
2002
139views more  TMM 2002»
15 years 6 months ago
Robust progressive image transmission over OFDM systems using space-time block code
A joint source-channel coding (JSCC) scheme for robust progressive image transmission over broadband wireless channels using orthogonal frequency division multiplexing (OFDM) syste...
Jie Song, K. J. Ray Liu