4245 search results - page 819 / 849 » Input Modeling |
212
click to vote
GLVLSI
2007
IEEE
16 years 23 days ago
2007
IEEE
Multi-Processor System-On-Chip (MPSoC) can provide the performance levels required by high-end embedded applications. However, they do so at the price of an increasing power densi...
139
click to vote
INFOCOM
2007
IEEE
16 years 22 days ago
2007
IEEE
— Accurately positioning nodes in wireless and sensor networks is important because the location of sensors is a critical input to many higher-level networking tasks. However, th...
173
click to vote
ADHOCNOW
2007
Springer
16 years 19 days ago
2007
Springer
We present a distributed topology control protocol that runs on a d-QUDG for d ≥ 1/ √ 2, and computes a sparse, constant-spanner, both in Euclidean distance and in hop distance...
176
Voted
CADE
2007
Springer
16 years 19 days ago
2007
Springer
We develop and implement a novel algorithm for discovering the optimal sets of premisses for proving and disproving conjectures in first-order logic. The algorithm uses interpret...
185
Voted
CIE
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. The input to a constraint satisfaction problem (CSP) consists of a set of variables, each with a domain, and constraints between these variables formulated by relations o...