4378 search results - page 314 / 876 » On the Complexity of Ordered Colourings |
168
click to vote
CAISE
2005
Springer
16 years 9 days ago
2005
Springer
The rise of the number and complexity of pervasive systems is a fact. Pervasive systems developers need advanced development methods in order to build better systems in an easy way...
170
click to vote
ISMDA
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. Ontology is the talk of the day in the medical informatics comm.unity. Its relevant role in the design and implementation of information systems in health care is now wid...
156
click to vote
PAKDD
2005
ACM
16 years 7 days ago
2005
ACM
In many modern application ranges high-dimensional feature vectors are used to model complex real-world objects. Often these objects reside on different local sites. In this paper,...
157
click to vote
SIGADA
2005
Springer
16 years 7 days ago
2005
Springer
This paper presents an intermediate notation used in a framework for verification of real-time properties. The framework aims at overcoming the need for the framework user to hav...
203
click to vote
AMAI
2004
Springer
16 years 4 days ago
2004
Springer
This paper presents new look-ahead schemes for backtracking search when solving constraint satisfaction problems. The look-ahead schemes compute a heuristic for value ordering and...