Sciweavers

2674 search results - page 349 / 535
» Data Models and Query Languages for Spatial Databases
Sort
View
ETFA
2006
IEEE
16 years 18 days ago
Modelling and Verification of IEC 61499 Applications using Prolog
This paper presents a new approach to modelling and verification of function block applications of the IEC 61499 standard. The approach uses the language of logic programming Prol...
Victor Dubinin, Valeriy Vyatkin, Hans-Michael Hani...
ICLP
1999
Springer
15 years 10 months ago
Concurrency in Prolog Using Threads and a Shared Database
Concurrency in Logic Programming has received much attention in the past. One problem with many proposals, when applied to Prolog, is that they involve large modifications to the...
Manuel Carro, Manuel V. Hermenegildo
AAAI
2004
15 years 8 months ago
PRECISE on ATIS: Semantic Tractability and Experimental Results
The need for Natural Language Interfaces to databases (NLIs) has become increasingly acute as more and more people access information through their web browsers, PDAs, and cell ph...
Ana-Maria Popescu, Alex Armanasu, Oren Etzioni, Da...
ICDE
2009
IEEE
115views Database» more  ICDE 2009»
16 years 8 months ago
Efficient Evaluation of Multiple Preference Queries
Consider multiple users searching for a hotel room, based on size, cost, distance to the beach, etc. Users may have variable preferences expressed by different weights on the attri...
Leong Hou U, Nikos Mamoulis, Kyriakos Mouratidis
EDBT
2006
ACM
118views Database» more  EDBT 2006»
16 years 6 months ago
Multi-dimensional Aggregation for Temporal Data
Business Intelligence solutions, encompassing technologies such as multi-dimensional data modeling and aggregate query processing, are being applied increasingly to non-traditional...
Christian S. Jensen, Johann Gamper, Michael H. B&o...