5015 search results - page 759 / 1003 » Model Checking a Path |
166
click to vote
ICRA
2008
IEEE
16 years 1 months ago
2008
IEEE
— Daily life objects reveal natural similarities, which cannot be resolved with the perception of a single view. In this paper, we present an approach for object separation using...
143
Voted
BIBE
2007
IEEE
16 years 29 days ago
2007
IEEE
Abstract-MCell is a Monte Carlo simulator of cell microphysiology, and the scalable variant can be used to study challenging problems of interest to the biological community. MCell...
141
click to vote
DATE
2007
IEEE
16 years 28 days ago
2007
IEEE
AUTOSAR is a recent specification initiative which focuses on a model-driven architecture like methodology for automotive applications. However, needed engineering steps, or how-t...
195
click to vote
GLOBECOM
2007
IEEE
16 years 28 days ago
2007
IEEE
—Recharging the batteries of a moribund sensor deployed as part of a wireless sensor network is often infeasible due to logistical considerations. With the purpose of prolonging ...
176
click to vote
ICC
2007
IEEE
16 years 28 days ago
2007
IEEE
— In Cognitive Radio Networks, nodes can work on different frequency bands. Existing routing proposals help nodes select frequency bands without considering the effect of band sw...