Sciweavers

2835 search results - page 388 / 567
» Common Semantics for Use Cases and Task Models
Sort
View
ICRA
2002
IEEE
138views Robotics» more  ICRA 2002»
14 years 2 months ago
A Mobile Manipulator for Installation and Removal of Aircraft Warning Spheres on Aerial Power Transmission Lines
A semi-autonomous robot for autonomous installation and removal of aircraft warning spheres on overhead wires of electric power transmission lines is described here. Hybrid system...
Mario Fernando Montenegro Campos, Guilherme A. S. ...
POPL
2011
ACM
13 years 1 days ago
Safe nondeterminism in a deterministic-by-default parallel language
A number of deterministic parallel programming models with strong safety guarantees are emerging, but similar support for nondeterministic algorithms, such as branch and bound sea...
Robert L. Bocchino Jr., Stephen Heumann, Nima Hona...
PAMI
2010
273views more  PAMI 2010»
13 years 4 months ago
Correspondence-Free Activity Analysis and Scene Modeling in Multiple Camera Views
We propose a novel approach for activity analysis in multiple synchronized but uncalibrated static camera views. In this paper, we refer to activities as motion patterns of objects...
Xiaogang Wang, Kinh Tieu, W. Eric L. Grimson
VISAPP
2010
13 years 7 months ago
Inverse Problems in Imaging and Computer Vision - From Regularization Theory to Bayesian Inference
phies are also mentioned and a common mathematical abstraction for all these inverses problems will be presented. By focusing on a simple linear forward model, first a synthetic an...
Ali Mohammad-Djafari
ECBS
2006
IEEE
158views Hardware» more  ECBS 2006»
14 years 3 months ago
Automated Translation of C/C++ Models into a Synchronous Formalism
For complex systems that are reusing intellectual property components, functional and compositional design correctness are an important part of the design process. Common system l...
Hamoudi Kalla, Jean-Pierre Talpin, David Berner, L...