1220 search results - page 180 / 244 » Minimal Interval Completions |
NMR
2004
Springer
14 years 1 months ago
2004
Springer
All major semantics of normal logic programs and normal logic programs with aggregates can be described as fixpoints of the one-step provability operator or of operators that can...
SEKE
2004
Springer
14 years 1 months ago
2004
Springer
We present an approach for mapping an OWL ontology into Java. The basic idea is to create a set of Java interfaces and classes from an OWL ontology such that an instance of a Java ...
STACS
2004
Springer
14 years 1 months ago
2004
Springer
Motivated by a scheduling problem encountered in multicast environments, we study a vertex labelling problem, called Directed Circular Arrangement (DCA), that requires one to fin...
CGI
2003
IEEE
14 years 1 months ago
2003
IEEE
In most vehicle simulators, complete physical mockups equipped with steering wheel, gearshift and pedals are required. These devices are essential in trying to simulate real condi...
CODES
2003
IEEE
14 years 1 months ago
2003
IEEE
The growing complexity of embedded applications and pressure on time-to-market has resulted in the increasing use of embedded real-time operating systems. Unfortunately, RTOSes ca...