19130 search results - page 388 / 3826 » Modelling multi-path problems |
178
click to vote
DBPL
2001
Springer
15 years 11 months ago
2001
Springer
In this paper we develop a new method for solving queries on semistructured data. The main idea is to see a database as a Kripke Transition System (a model) and a query as a formul...
147
click to vote
TOOLS
1999
IEEE
15 years 11 months ago
1999
IEEE
In designing languages, we strive for consistency and elegance. In object-oriented languages, simple data types have always been a problem in that they do not quite fit in with th...
174
click to vote
CP
2006
Springer
15 years 10 months ago
2006
Springer
The problem of finding a graceful labelling of a graph, or proving that the graph is not graceful, has previously been modelled as a CSP. A new and much faster CSP model of the pro...
215
click to vote
EWCBR
2008
Springer
15 years 8 months ago
2008
Springer
In this paper, we introduce a new instance-based approach to the label ranking problem. This approach is based on a probability model on rankings which is known as the Mallows mode...
165
click to vote
ERSA
2006
15 years 8 months ago
2006
Abstract-- In this work the problem of modeling reconfigurable systems behavior with a precise, executable semantics is considered. The possibility of synthesising such models onto...