2448 search results - page 217 / 490 » The Octahedron Abstract Domain |
97
Voted
CP
2001
Springer
15 years 4 months ago
2001
Springer
Abstract. In distributed resource allocation a set of agents must assign their resources to a set of tasks. This problem arises in many real-world domains such as disaster rescue, ...
118
click to vote
CP
2001
Springer
15 years 4 months ago
2001
Springer
Abstract. Selecting conformations for side-chains is an important subtask in building three-dimensional protein models. Side-chain placement is a difficult problem because of the l...
90
Voted
ESOP
2001
Springer
15 years 4 months ago
2001
Springer
Abstract. We propose a new representation for the domain of Definite Boolean functions. The key idea is to view the set of models of a Boolean function as an incidence relation be...
78
Voted
ROBOCUP
2001
Springer
15 years 4 months ago
2001
Springer
Abstract. Robot soccer is a challenging research domain, which involves multiple agents (physical robots or ”softbots”) to work together in a dynamic, noisy, cooperative and ad...
CODES
2000
IEEE
15 years 4 months ago
2000
IEEE
Frequency interleaving is introduced as a means of conceptualizing and co-scheduling hardware and software behaviors so that software models with conceptually unbounded state and ...