Sciweavers

1388 search results - page 42 / 278
» Querying Linguistic Trees
Sort
View
210
Voted
GIS
2005
ACM
16 years 1 months ago
Improving the R*-tree with outlier handling techniques
The R*-tree, as a state-of-the-art spatial index, has already found its way into commercial systems like Oracle. In this paper, we aim at improving query performance of the R*tree...
Tian Xia, Donghui Zhang
FLAIRS
2006
15 years 1 months ago
An Intelligent Query Interface with Natural Language Support
The project described by the present paper aims at building a bridge between Intelligent Query Interfaces and Natural Language Generation technologies. The idea is to have a query...
Paolo Dongilli, Enrico Franconi
CAV
2012
Springer
231views Hardware» more  CAV 2012»
13 years 2 months ago
Incremental, Inductive CTL Model Checking
A SAT-based incremental, inductive algorithm for model checking CTL properties is proposed. As in classic CTL model checking, the parse graph of the property shapes the analysis. H...
Zyad Hassan, Aaron R. Bradley, Fabio Somenzi
114
Voted
NBIS
2007
Springer
15 years 6 months ago
Implementing Range Queries with a Decentralized Balanced Tree over Distributed Hash Tables
Range queries, retrieving all keys within a given range, is an important add-on for Distributed Hash Tables (DHTs), as they rely only on exact key matching lookup. In this paper we...
Nuno Lopes, Carlos Baquero
107
Voted
PRICAI
2010
Springer
14 years 11 months ago
Visual Query Expansion via Incremental Hypernetwork Models of Image and Text
Abstract. Humans can associate vision and language modalities and thus generate mental imagery, i.e. visual images, from linguistic input in an environment of unlimited inflowing i...
Min-Oh Heo, Myunggu Kang, Byoung-Tak Zhang