3022 search results - page 31 / 605 » Make Way for WayMaker |
ICDE
2007
IEEE
14 years 11 months ago
2007
IEEE
We introduce IR-Wire, a tool for information retrieval research and education in peer-to-peer file-sharing systems. Built on top of LimeWire's implementation of the popular G...
LPAR
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. The Knuth-Bendix ordering is usually preferred over the lexicographic path ordering in successful implementations of resolution and superposition, but it is incompatible ...
CALCO
2005
Springer
14 years 3 months ago
2005
Springer
We present ACPc , a process algebra with conditional expressions in which the conditions are taken from a Boolean algebra, and extensions of this process algebra with mechanisms fo...
IPPS
2002
IEEE
14 years 2 months ago
2002
IEEE
We present a formalization of a proof of self-stabilization in the Coq proof assistant. Coq is a program allowing to define mathematical objects and properties, and to make proof...
OTM
2009
Springer
14 years 2 months ago
2009
Springer
We present ontology databases with not-gadgets, a method for detecting inconsistencies in an ontology with large numbers of annotated instances by using triggers and exclusion depe...