3221 search results - page 521 / 645 » Termination of Linear Programs |
167
click to vote
ICRA
2007
IEEE
16 years 18 days ago
2007
IEEE
Abstract— Tightly-coupled multi-agent systems such as modular robots frequently exhibit properties of interest that span multiple modules. These properties cannot easily be detec...
152
click to vote
IPPS
2007
IEEE
16 years 17 days ago
2007
IEEE
In this paper, we discuss and compare several policies to place replicas in tree networks, subject to server capacity constraints. The client requests are known beforehand, while ...
182
click to vote
LICS
2007
IEEE
16 years 17 days ago
2007
IEEE
Nested words are a structured model of execution paths in procedural programs, reflecting their call and return nesting structure. Finite nested words also capture the structure ...
170
click to vote
QEST
2007
IEEE
16 years 16 days ago
2007
IEEE
Among the many stages of a simulation study, debugging a simulation model is the one that is hardly reported on but that may consume a considerable amount of time and effort. In t...
159
click to vote
WCRE
2007
IEEE
16 years 16 days ago
2007
IEEE
Defect density and defect prediction are essential for efficient resource allocation in software evolution. In an empirical study we applied data mining techniques for value seri...