Sciweavers

745 search results - page 118 / 149
» Towards a Formal Approach for Object Database Design
Sort
View
ICRA
2003
IEEE
115views Robotics» more  ICRA 2003»
15 years 3 months ago
Evolution of the NASA/DARPA robonaut control system
The NASA/DARPA Robonaut system is evolving from a purely teleoperator controlled anthropomorphic robot towards a humanoid system with multiple control pathways. Robonaut is a huma...
Myron A. Diftler, Robert Platt Jr., C. J. Culbert,...
QEST
2010
IEEE
14 years 7 months ago
On the Theory of Stochastic Processors
Traditional architecture design approaches hide hardware uncertainties from the software stack through overdesign, which is often expensive in terms of power consumption. The recen...
Parasara Sridhar Duggirala, Sayan Mitra, Rakesh Ku...
ADC
2005
Springer
104views Database» more  ADC 2005»
15 years 3 months ago
Dynamic Restructuring of Recovery Nets
A Self-Adaptive Recovery Net (SARN) is an extended Petri net model for specifying exceptional behavior in workflow systems. SARN caters for high-level recovery policies that are ...
Rachid Hamadi, Boualem Benatallah
WWW
2002
ACM
15 years 10 months ago
Simulation, verification and automated composition of web services
Web services -- Web-accessible programs and devices ? are a key application area for the Semantic Web. With the proliferation of Web services and the evolution towards the Semanti...
Srini Narayanan, Sheila A. McIlraith
ICASSP
2010
IEEE
14 years 10 months ago
No-reference image sharpness assessment based on local phase coherence measurement
Sharpness is one of the most determining factors in the perceptual assessment of image quality. Objective image sharpness measures may play important roles in the design and optim...
Rania Hassen, Zhou Wang, Magdy Salama