Sciweavers

42738 search results - page 356 / 8548
» Search Computing Systems
Sort
View
ICDE
2010
IEEE
288views Database» more  ICDE 2010»
16 years 4 months ago
Fast In-Memory XPath Search using Compressed Indexes
A large fraction of an XML document typically consists of text data. The XPath query language allows text search via the equal, contains, and starts-with predicates. Such predicate...
Diego Arroyuelo, Francisco Claude, Sebastian Manet...
136
Voted
IJCAI
1993
15 years 6 months ago
An Inductive Approach to Learning Search Control Rules for Planning
One method for reducing the time required for plan generation is to learn search control rules from experience. Most of the recent work in learning search control knowledge has co...
Christopher Leckie, Ingrid Zukerman
VIP
2000
15 years 6 months ago
Cataloging and Search Engine for Video Library
The paper describes a prototype of cataloging and search engine for video library, the Video Library Search Engine (VLSE). We propose the system based on our codification of video...
Henry C. Wang, David Dagan Feng, Jesse S. Jin
JAR
2007
80views more  JAR 2007»
15 years 4 months ago
Integrating Searching and Authoring in Mizar
The vision of a computerised assistant to mathematicians has existed since the inception of theorem proving systems. The Alcor system has been designed to investigate and explore h...
Paul A. Cairns, Jeremy Gow
TCS
2002
15 years 4 months ago
A guide to membrane computing
Membrane systems are models of computation which are inspired by some basic features of biological membranes. In a membrane system multisets of objects are placed in the compartme...
Gheorghe Paun, Grzegorz Rozenberg