42738 search results - page 21 / 8548 » Search Computing Systems |
RTA
1995
Springer
14 years 2 months ago
1995
Springer
We use computational systems to express a completion with constraints procedure that gives priority to simplifications. Computational systems are rewrite theories enriched by stra...
ICS
2010
Tsinghua U.
14 years 3 months ago
2010
Tsinghua U.
When something unexpected happens in a large production system, administrators must first perform a search to isolate which components and component interactions are likely to be...
ACSC
2001
IEEE
14 years 2 months ago
2001
IEEE
Most search systems for querying large document collections---for example, web search engines---are based on well-understood information retrieval principles
NAACL
2010
13 years 8 months ago
2010
Recent work has proposed the use of an extracted tree grammar as the basis for treebank analysis and search queries, in which queries are stated over the elementary trees, which a...
JAIR
2006
13 years 10 months ago
2006
Fast Downward is a classical planning system based on heuristic search. It can deal with general deterministic planning problems encoded in the propositional fragment of PDDL2.2, ...