9730 search results - page 132 / 1946 » Relating models of backtracking |
107
Voted
APSEC
2003
IEEE
15 years 7 months ago
2003
IEEE
This paper investigates data-refinement by backward simulation for specifications whose semantics is given by partial relations. The standard model-theoretic approach is based on ...
131
Voted
PKDD
2000
Springer
15 years 7 months ago
2000
Springer
Although there is a growing need for multi-relational data mining solutions in KDD, the use of obvious candidates from the field of Inductive Logic Programming (ILP) has been limit...
121
Voted
EUROPAR
1995
Springer
15 years 7 months ago
1995
Springer
Much work has been done in the areas of and–parallelism and data parallelism in Logic Programs. Such work has proceeded to a certain extent in an independent fashion. Both types...
123
Voted
JURIX
2008
15 years 5 months ago
2008
The two main types of law are legislation and precedents. Both types have a corresponding reasoning pattern determining legal consequences: legislation can be applied and precedent...
131
Voted
APCCM
2006
15 years 5 months ago
2006
Driven by the fast changing service demand-and-supply requirements, virtual organisation alliances are created to adapt highly dynamic B2B collaborations. However, the temporary p...