2642 search results - page 119 / 529 » Merge-by-Wire: Algorithms and System Support |
179
click to vote
FASE
2004
Springer
15 years 5 months ago
2004
Springer
Real-Time Maude is a language and tool supporting the formal specification and analysis of real-time and hybrid systems. The specification formalism is based on rewriting logic, em...
120
click to vote
ATAL
2009
Springer
15 years 8 months ago
2009
Springer
Distributed Constraint Optimization (DCOP) is useful for solving agent-coordination problems. Any-space DCOP search algorithms require only a small amount of memory but can be spe...
152
click to vote
CVPR
2001
IEEE
16 years 3 months ago
2001
IEEE
To utilize CT or MRI images for computer aided diagnosis applications, robust features that represent 3-D image data need to be constructed and subsequently used by a classificati...
CLEF
2006
Springer
15 years 5 months ago
2006
Springer
In this paper we will describe the Berkeley approaches to the GeoCLEF tasks for CLEF 2006. This year we used two separate systems for different tasks. Although of the systems both...
108
click to vote
AIPS
1994
15 years 2 months ago
1994
An intelligent problem solver must be able to decompose a complex problem into simpler parts. A decomposition algorithm would not only be bene cial for traditional subgoal-oriente...