Sciweavers

1998 search results - page 171 / 400
» Basic Association Rules
Sort
View
CORR
2008
Springer
115views Education» more  CORR 2008»
15 years 5 months ago
Playing With Population Protocols
Population protocols have been introduced as a model of sensor networks consisting of very limited mobile agents with no control over their own movement: A collection of anonymous ...
Olivier Bournez, Jérémie Chalopin, J...
GISCIENCE
2008
Springer
115views GIS» more  GISCIENCE 2008»
15 years 5 months ago
Validation and Storage of Polyhedra through Constrained Delaunay Tetrahedralization
Abstract. Closed, watertight, 3D geometries are represented by polyhedra. Current data models define these polyhedra basically as a set of polygons, leaving the test on intersectin...
Edward Verbree, Hang Si
IGPL
2007
113views more  IGPL 2007»
15 years 3 months ago
Pandora: A Reasoning Toolbox using Natural Deduction Style
Pandora is a tool for supporting the learning of first order natural deduction. It includes a help window, an interactive context sensitive tutorial known as the ‘‘e-tutor’â...
Krysia Broda, Jiefei Ma, Gabrielle Sinnadurai, Ale...
LOGCOM
2002
105views more  LOGCOM 2002»
15 years 3 months ago
Labelled Tableaux for Nonmonotonic Reasoning: Cumulative Consequence Relations
In this paper we present a labelled proof method for computing nonmonotonic consequence relations in a conditional logic setting. The method exploits the strong connection between...
Alberto Artosi, Guido Governatori, Antonino Rotolo
SIAMJO
2002
124views more  SIAMJO 2002»
15 years 3 months ago
The Sample Average Approximation Method for Stochastic Discrete Optimization
In this paper we study a Monte Carlo simulation based approach to stochastic discrete optimization problems. The basic idea of such methods is that a random sample is generated and...
Anton J. Kleywegt, Alexander Shapiro, Tito Homem-d...