4378 search results - page 346 / 876 » On the Complexity of Ordered Colourings |
174
click to vote
ICLP
2005
Springer
16 years 9 days ago
2005
Springer
Any finite tree automaton (or regular type) can be used to construct act interpretation of a logic program, by first determinising and completing the automaton to get a pre-inter...
143
click to vote
PROFES
2005
Springer
16 years 8 days ago
2005
Springer
This paper describes an evaluation of a characterisation framework to analyse mobile work scenarios in order to make corresponding software systems. The framework identifies comple...
156
click to vote
SSD
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. Many new applications involving moving objects require the collection and querying of trajectory data, so efficient indexing methods are needed to support complex spatio...
179
click to vote
TCGOV
2005
Springer
16 years 8 days ago
2005
Springer
The requirement of integrating, sharing and reusing legislative information is a research issue gaining priority for governments and institutions. The legal world is complex, heter...
166
click to vote
WEBI
2005
Springer
16 years 8 days ago
2005
Springer
In this paper, we present an efficient model for discovering repeated patterns in symbolic representations of music. Combinatorial redundancy inherent to the pattern discovery pa...