1738 search results - page 244 / 348 » Local Consistency and SAT-Solvers |
198
click to vote
WSTFEUS
2003
IEEE
15 years 11 months ago
2003
IEEE
Determining physical location of indoor objects is one of the key issues in development of context-aware applications in ubiquitous computing environment. This is mainly because c...
153
Voted
ISPD
2003
ACM
15 years 11 months ago
2003
ACM
For multi-gigahertz designs in nanometer technologies, data transfers on global interconnects take multiple clock cycles. In this paper, we propose a regular distributed register ...
193
click to vote
CEEMAS
2003
Springer
15 years 11 months ago
2003
Springer
Airports for Agents1 (AA) is an implemented distributed multi-agent infrastructure designed for dynamic and unstable Internet environment. The infrastructure consists of platforms ...
131
Voted
FOSSACS
2003
Springer
15 years 11 months ago
2003
Springer
We describe a metalanguage MMML, which makes explicit the order of evaluation (in the spirit of monadic metalanguages) and the staging of computations (as in languages for multi-l...
161
click to vote
GECCO
2003
Springer
15 years 11 months ago
2003
Springer
We have developed an evolutionary approach for the flexible docking that is now an important component of a rational drug design. This automatic docking tool, referred to as the G...