Sciweavers

321 search results - page 35 / 65
» The Logic of Choice
Sort
View
ICDT
1990
ACM
110views Database» more  ICDT 1990»
13 years 12 months ago
Beginnings of a Theory of General Database Completions
Ordinary logical implication is not enough for answering queries in a logic database, since especially negative information is only implicitly represented in the database state. M...
Stefan Brass
LICS
2002
IEEE
14 years 25 days ago
Linearity in Process Languages
The meaning and mathematical consequences of linearity (managing without a presumed ability to copy) are studied for a path-based model of processes which is also a model of affi...
Mikkel Nygaard, Glynn Winskel
WSC
1997
13 years 9 months ago
Cloning: A Novel Method for Interactive Parallel Simulation
A new scheme for interactively testing what-if and alternative scenarios in parallel simulations is presented. Potential branches or choices can be specified interactively and in...
Maria Hybinette, Richard Fujimoto
AAI
2006
71views more  AAI 2006»
13 years 8 months ago
Textual Article Clustering in Newspaper Pages
In the analysis of a newspaper page an important step is the clustering of various text blocks into logical units, i.e., into articles. We propose three algorithms based on text p...
Marco Aiello, Andrea Pegoretti
CORR
2006
Springer
104views Education» more  CORR 2006»
13 years 8 months ago
Conflict Free Rule for Combining Evidences
: Recent works have investigated the problem of the conflict redistribution in the fusion rules of evidence theories. As a consequence of these works, many new rules have been prop...
Frédéric Dambreville