8031 search results - page 1547 / 1607 » Knowledge and Workflow Systems |
139
click to vote
INFOCOM
2005
IEEE
15 years 10 months ago
2005
IEEE
— In wireless sensor networks (WSNs), sensor location plays a critical role in many applications. Having a GPS receiver on every sensor node is costly. In the past, a number of l...
171
click to vote
ISCAS
2005
IEEE
15 years 10 months ago
2005
IEEE
—Most existing multiview video coding (MVC) techniques are based on the traditional hybrid DCT-based video coding schemes, e.g., MPEG-2, MPEG-4 and H.264. They neither fully expl...
171
Voted
ISPAN
2005
IEEE
15 years 10 months ago
2005
IEEE
We design a self-stabilizing cluster routing algorithm based on the link-cluster architecture of wireless ad hoc networks. The network is divided into clusters. Each cluster has a...
168
click to vote
KBSE
2005
IEEE
15 years 10 months ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
170
click to vote
WISE
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Approximation has been identified as a potential way of reducing the complexity of logical reasoning. Here we explore approximation for speeding up instance retrieval in...