Sciweavers

3305 search results - page 214 / 661
» Can we Rely on SQL
Sort
View
GECCO
2005
Springer
127views Optimization» more  GECCO 2005»
14 years 4 months ago
Sufficiency verification of HIV-1 pathogenesis based on multi-agent simulation
Researchers of HIV-1 are today, still unable to determine exactly the biological mechanisms that cause AIDS. Various mechanisms have been hypothesized and their existences have be...
Zaiyi Guo, Hann Kwang Han, Joc Cing Tay
LOCA
2005
Springer
14 years 4 months ago
Towards LuxTrace: Using Solar Cells to Measure Distance Indoors
Abstract. Navigation for and tracking of humans within a building usually implies significant infrastructure investment and devices are usually too high in weight and volume to be...
Julian Randall, Oliver Amft, Gerhard Tröster
SENSYS
2004
ACM
14 years 4 months ago
Practical and robust geographic routing in wireless networks
Existing geographic face routing algorithms use planarization techniques that rely on the unit-graph assumption, and thus can exhibit persistent routing failure when used with rea...
Young-Jin Kim, Ramesh Govindan, Brad Karp, Scott S...
CONCUR
2004
Springer
14 years 4 months ago
Resource Control for Synchronous Cooperative Threads
We develop new methods to statically bound the resources needed for the execution of systems of concurrent, interactive threads. Our study is concerned with a synchronous model of ...
Roberto M. Amadio, Silvano Dal-Zilio
PSD
2004
Springer
79views Database» more  PSD 2004»
14 years 4 months ago
A Fast Network Flows Heuristic for Cell Suppression in Positive Tables
Abstract. Current network flows heuristics for cell suppression in positive tables (i.e, cell values are greater or equal than zero) rely on the solution of several minimum-cost s...
Jordi Castro