102 search results - page 19 / 21 » The Basic Constructive Logic for Negation-Consistency |
ITCC
2003
IEEE
13 years 11 months ago
2003
IEEE
We present an efficient algorithm called the Quadtree Heuristic for identifying a list of similar terms for each unique term in a large document collection. Term similarity is de...
EATIS
2007
ACM
13 years 9 months ago
2007
ACM
Resource and service discovery, data transfer or replica management, are some examples of basic operations of a grid which can gain efficiency by using multicast transmission tech...
BIRTHDAY
2006
Springer
13 years 9 months ago
2006
Springer
The Semantic Web (SW) is viewed as the next generation of the Web that enables intelligent software agents to process and aggregate data autonomously. Ontology languages provide ba...
WICSA
2008
13 years 7 months ago
2008
Service composition is one of the key objectives for adopting Service Oriented Architecture. Today, web services, however, are not always perfectly compatible and composition mism...
MCU
1998
13 years 7 months ago
1998
A reversible cellular automaton (RCA) is a cellular automaton (CA) whose global function is injective and every configuration has at most one predecessor. Margolus showed that the...