1738 search results - page 246 / 348 » Local Consistency and SAT-Solvers |
164
Voted
DATE
2010
IEEE
15 years 11 months ago
2010
IEEE
—Energy consumption is a critical parameter in wireless healthcare systems which consist of battery operated devices such as sensors and local aggregators. The system battery lif...
131
click to vote
DATE
2002
IEEE
15 years 11 months ago
2002
IEEE
Complex embedded systems consist of hardware and software components from different domains, such as control and signal processing, many of them supplied by different IP vendors. ...
161
Voted
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
Humanoid robot is expected as a rational form of machine to act in the real human environment and support people through interaction with them. Current humanoid robots, however, l...
163
click to vote
IEEEPACT
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper, we describe an algorithm and implementation of locality optimizations for architectures with instruction sets such as Intel’s SSE and Motorola’s AltiVec that su...
154
click to vote
WISE
2002
Springer
15 years 11 months ago
2002
Springer
A distributed search system consists of a large number of autonomous search servers logically connected in a peerto-peer network. Each search server maintains a local index of a c...