1644 search results - page 284 / 329 » Finding Dominators in Practice |
135
click to vote
ICDE
2007
IEEE
15 years 5 months ago
2007
IEEE
Suffix tree is an important data structure for indexing a long sequence (like a genome sequence) or a concatenation of sequences. It finds many applications in practice, especiall...
105
click to vote
ATAL
2006
Springer
15 years 5 months ago
2006
Springer
In the recent past, several different methods for coordinating behavior in multi-robot teams have been proposed. Common to most of them is the use of communication to coordinate b...
165
Voted
TABLEAUX
2000
Springer
15 years 5 months ago
2000
Springer
FaCT (Fast Classification of Terminologies) is a Description Logic (DL) classifier that can also be used for modal logic satisfiability testing. The FaCT system includes two reason...
145
click to vote
ARGMAS
2008
Springer
15 years 4 months ago
2008
Springer
The social laws paradigm represents an important approach to the co-ordination of behaviour in multi-agent systems. In this paper we examine the relationship between social laws an...
115
click to vote
IE
2007
15 years 3 months ago
2007
This paper describes the rationale and subsequent development stages of a work in progress: a graffiti toolkit for rich spatial 3D environments and an actual world mnemonic collec...