Sciweavers

2687 search results - page 349 / 538
» On the Conversion between Number Systems
Sort
View
ACSC
2002
IEEE
15 years 11 months ago
Representation and Reasoning for Goals in BDI Agents
A number of agent-oriented programming systems are based on a framework of beliefs, desires and intentions (BDI) and more explicitly on the BDI logic of Rao and Georgeff. In this ...
John Thangarajah, Lin Padgham, James Harland
CDC
2009
IEEE
101views Control Systems» more  CDC 2009»
15 years 11 months ago
Barrier function nonlinear optimization for optimal Decompression of divers
— This paper is based on a comprehensive dynamic mathematical model (Copernicus) of vascular bubble formation and growth during and after decompression from a dive. The model des...
Le Feng, Christian R. Gutvik, Tor Arne Johansen, D...
CDC
2009
IEEE
15 years 11 months ago
Two-dimensional almost-Riemannian structures with tangency points
Two-dimensional almost-Riemannian structures are generalized Riemannian structures on surfaces for which a local orthonormal frame is given by a Lie bracket generating pair of vec...
Andrei A. Agrachev, Ugo V. Boscain, Gregoire Charl...
SIGGRAPH
2010
ACM
15 years 11 months ago
VideoMocap: modeling physically realistic human motion from monocular video sequences
This paper presents a video-based motion modeling technique for generating physically realistic human motion from monocular video sequences. We formulate the video-based motion mo...
Xiaolin Wei, Jinxiang Chai
MICCAI
2001
Springer
15 years 11 months ago
Phase-Based User-Steered Image Segmentation
This paper presents a user-steered segmentation algorithm based on the livewire paradigm. Livewire is an image-feature driven method that finds the optimal path between user-selec...
Lauren O'Donnell, Carl-Fredrik Westin, W. Eric L. ...