571 search results - page 75 / 115 » A principled approach to operating system construction in Ha... |
124
click to vote
ILP
2003
Springer
15 years 6 months ago
2003
Springer
The learning system Progol5 and the underlying inference method of Bottom Generalisation are firmly established within Inductive Logic Programming (ILP). But despite their success...
117
click to vote
CANDC
2005
ACM
15 years 3 months ago
2005
ACM
In this paper, we discuss how a cognitive concept, causality, can be used for the conceptual underpinning of Virtual Reality Art installations. Causality plays an important role i...
102
click to vote
GCSE
2000
Springer
15 years 4 months ago
2000
Springer
Software reuse and especially the paradigm of software components are promising approaches to increase the efficiency of software development. One of the basic problems of software...
103
click to vote
CDC
2008
IEEE
15 years 3 months ago
2008
IEEE
In this paper, we develop an automated framework for formal verification of timed continuous Petri nets (contPN). Specifically, we consider two problems: (1) given an initial set o...
107
click to vote
DASFAA
2006
IEEE
15 years 7 months ago
2006
IEEE
When hosting XML information on relational backends, a mapping has to be established between the schemas of the information source and the target storage repositories. A rich body ...