6020 search results - page 822 / 1204 » A New Approach to Model Counting |
150
click to vote
ETFA
2006
IEEE
16 years 23 days ago
2006
IEEE
In the present paper we propose a method that permits visualization of manufacturing devices from a functional perspective. The aim of this method is to raise raction level of man...
184
click to vote
ICMCS
2006
IEEE
16 years 22 days ago
2006
IEEE
This paper proposes a new approach for the human motion analysis. The main contribution comes from the proposed representation of the human body. Most of already existing systems ...
179
click to vote
INFOCOM
2006
IEEE
16 years 22 days ago
2006
IEEE
— We address the problem of energy efficient sensing by adaptively coordinating the sleep schedules of sensor nodes while guaranteeing that values of sleeping nodes can be recov...
155
click to vote
MIAR
2006
IEEE
16 years 22 days ago
2006
IEEE
This paper proposes a novel framework for robust click-point linking: efficient localized registration that allows users to interactively prescribe where the accuracy has to be hig...
212
click to vote
SUTC
2006
IEEE
16 years 21 days ago
2006
IEEE
Security in wireless ad hoc networks is hard to achieve due to the vulnerability of its links, limited physical protection, and the absence of a centralized management point. Cons...