Sciweavers

5350 search results - page 686 / 1070
» Space and time in eco-ontologies
Sort
View
JELIA
2010
Springer
15 years 5 months ago
Retroactive Subsumption-Based Tabled Evaluation of Logic Programs
Abstract. Tabled evaluation is a recognized and powerful implementation technique that overcomes some limitations of traditional Prolog systems in dealing with recursion and redund...
Flávio Cruz, Ricardo Rocha
187
Voted
JSS
2010
208views more  JSS 2010»
15 years 5 months ago
Performance analysis of opportunistic broadcast for delay-tolerant wireless sensor networks
This paper investigates a class of mobile wireless sensor networks that are unconnected most of the times; we refer to them as delay–tolerant wireless sensor networks (DTWSN). T...
Abbas Nayebi, Hamid Sarbazi-Azad, Gunnar Karlsson
PVLDB
2010
103views more  PVLDB 2010»
15 years 5 months ago
Fast Optimal Twig Joins
In XML search systems twig queries specify predicates on node values and on the structural relationships between nodes, and a key operation is to join individual query node matche...
Nils Grimsmo, Truls Amundsen Bjørklund, Mag...
SIAMSC
2010
115views more  SIAMSC 2010»
15 years 5 months ago
A New Level Set Method for Motion in Normal Direction Based on a Semi-Implicit Forward-Backward Diffusion Approach
We introduce a new level set method for motion in normal direction. It is based on a formulation in the form of a second order forward-backward diffusion equation. The equation is...
Karol Mikula, Mario Ohlberger
SPIRE
2010
Springer
15 years 5 months ago
Fast Bit-Parallel Matching for Network and Regular Expressions
Abstract. In this paper, we extend the SHIFT-AND approach by BaezaYates and Gonnet (CACM 35(10), 1992) to the matching problem for network expressions, which are regular expression...
Yusaku Kaneta, Shin-ichi Minato, Hiroki Arimura