Sciweavers

2370 search results - page 161 / 474
» The Characterization of Data-Accumulating Algorithms
Sort
View
AIMSA
2000
Springer
15 years 1 months ago
Classification with Belief Decision Trees
Abstract. Decision trees are considered as an efficient technique to express classification knowledge and to use it. However, their most standard algorithms do not deal with uncert...
Zied Elouedi, Khaled Mellouli, Philippe Smets
CIE
2008
Springer
15 years 3 days ago
A Simple P-Matrix Linear Complementarity Problem for Discounted Games
The values of a two-player zero-sum binary discounted game are characterized by a P-matrix linear complementarity problem (LCP). Simple formulas are given to describe the data of t...
Marcin Jurdzinski, Rahul Savani
DCOSS
2008
Springer
14 years 12 months ago
On the Urban Connectivity of Vehicular Sensor Networks
Abstract. Aiming at a realistic mobile connectivity model for vehicular sensor networks in urban environments, we propose the combination of large-scale traffic simulation and comp...
Hugo Conceição, Michel Ferreira, Jo&...
ECAI
2008
Springer
14 years 12 months ago
New Results for Horn Cores and Envelopes of Horn Disjunctions
We provide a characterization of Horn cores for formulas in conjunctive normal form (CNF) and, based on it, a novel algorithm for computing Horn cores of disjunctions of Horn CNFs ...
Thomas Eiter, Kazuhisa Makino
ACL
2001
14 years 11 months ago
Resolving Ellipsis in Clarification
We offer a computational analysis of the resolution of ellipsis in certain cases of dialogue clarification. We show that this goes beyond standard techniques used in anaphora and ...
Jonathan Ginzburg, Robin Cooper