1845 search results - page 290 / 369 » Automatic Initiation of an Ontology |
201
click to vote
TACAS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We propose a static analysis framework for concurrent programs based on reduction of thread interleavings using sound invariants on the top of partial order techniques. S...
183
click to vote
CEC
2009
IEEE
16 years 1 months ago
2009
IEEE
— Automatic protein structure predictors use the notion of energy to guide the search towards good candidate structures. The energy functions used by the state-of-the-art predict...
178
click to vote
CRV
2009
IEEE
16 years 1 months ago
2009
IEEE
Understanding the human gait is an important objective towards improving elderly mobility. In turn, gait analyses largely depend on kinematic and dynamic measurements. While the m...
180
click to vote
WMCSA
2009
IEEE
16 years 1 months ago
2009
IEEE
Technology offers the potential to objectively monitor people‘s eating and activity behaviors and encourage healthier lifestyles. BALANCE is a mobile phone-based system for long...
171
click to vote
ICRA
2009
IEEE
16 years 28 days ago
2009
IEEE
— A new approach to the 3D human motion tracking problem is proposed, which combines several particle filters with a physical simulation of a flexible body model. The flexible...