Sciweavers

4978 search results - page 332 / 996
» Logical models of argument
Sort
View
164
Voted
DASFAA
2009
IEEE
144views Database» more  DASFAA 2009»
16 years 1 months ago
Logical Foundations for Similarity-Based Databases
Abstract. Extensions of relational databases which aim at utilizing various aspects of similarity and imprecision in data processing are widespread in the literature. A need for de...
Radim Belohlávek, Vilém Vychodil
TASE
2008
IEEE
16 years 19 days ago
Verifying BPEL-Like Programs with Hoare Logic
The WS-BPEL language has recently become a de facto standard for modeling Web-based business processes. One of its essential features is the fully programmable compensation mechan...
Chenguang Luo, Shengchao Qin, Zongyan Qiu
FPL
2007
Springer
150views Hardware» more  FPL 2007»
15 years 10 months ago
Discrete Event Simulation of Molecular Dynamics with Configurable Logic
: Molecular dynamics simulation based on discrete event simulation (DMD) is emerging as an alternative to time-step driven molecular dynamics (MD). DMD uses simplified discretized ...
Josh Model, Martin C. Herbordt
PODS
1991
ACM
98views Database» more  PODS 1991»
15 years 9 months ago
Minimum and Maximum Predicates in Logic Programming
A novel approach is proposed for ezpresaing and computing eficienily a large cla88 of problem8, including jinding the shortest path in a graph, that were previously considered imp...
Sumit Ganguly, Sergio Greco, Carlo Zaniolo
AAAI
2006
15 years 7 months ago
Compilation of Query-Rewriting Problems into Tractable Fragments of Propositional Logic
We consider the problem of rewriting a query efficiently using materialized views. In the context of information integration, this problem has received significant attention in th...
Yolifé Arvelo, Blai Bonet, Maria-Esther Vid...