4513 search results - page 241 / 903 » Modeling with a Sense of Purpose |
176
click to vote
LPAR
2005
Springer
16 years 3 days ago
2005
Springer
Model checking is a useful method to verify automatically the correctness of a system with respect to a desired behavior, by checking whether a mathematical model of the system sat...
172
Voted
ISWC
2002
IEEE
15 years 11 months ago
2002
IEEE
The Parasitic Humanoid (PH) is a wearable robot for modeling nonverbal human behavior. This anthropomorphic robot senses the behavior of the wearer and has the internal models to ...
181
click to vote
CVRMED
1995
Springer
15 years 10 months ago
1995
Springer
This paper presents a technique for the segmentation of anatomic structures in medical images using a topologically adaptable snakes model. The model is set in the framework of dom...
222
click to vote
MOBICOM
2009
ACM
16 years 1 months ago
2009
ACM
Establishing a control channel for medium access control is a challenging problem in multi-channel and dynamic spectrum access (DSA) networks. In the design of multi-channel MAC p...
199
click to vote
SENSYS
2005
ACM
16 years 5 days ago
2005
ACM
Sensing technology is a cornerstone for many industrial applications. Manufacturing plants and engineering facilities, such as shipboard engine rooms, require sensors to ensure pr...