Sciweavers

985 search results - page 131 / 197
» Piercing Convex Sets
Sort
View
CINQ
2004
Springer
133views Database» more  CINQ 2004»
15 years 8 months ago
Inductive Querying for Discovering Subgroups and Clusters
We introduce the problem of cluster-grouping and show that it integrates several important data mining tasks, i.e. subgroup discovery, mining correlated patterns and aspects from c...
Albrecht Zimmermann, Luc De Raedt
ATAL
2006
Springer
15 years 8 months ago
Robust mechanisms for information elicitation
We study information elicitation mechanisms in which a principal agent attempts to elicit the private information of other agents using a carefully selected payment scheme based o...
Aviv Zohar, Jeffrey S. Rosenschein
CONCUR
2006
Springer
15 years 8 months ago
On Interleaving in Timed Automata
We propose a remedy to that part of the state-explosion problem for timed automata which is due to interleaving of actions. We prove the following quite surprising result: the unio...
Ramzi Ben Salah, Marius Bozga, Oded Maler
131
Voted
VLDB
1987
ACM
106views Database» more  VLDB 1987»
15 years 8 months ago
A Dual Space Representation for Geometric Data
Thie paper presents a representation echeme for polyhedral objects in arbitrary dimensions. Each object ie represented as the algebraic sum of convex polyhedra (cells). Each cell ...
Oliver Günther, Eugene Wong
FORMATS
2008
Springer
15 years 6 months ago
Parametric Model-Checking of Time Petri Nets with Stopwatches Using the State-Class Graph
Abstract. In this paper, we propose a new framework for the parametric verification of time Petri nets with stopwatches controlled by inhibitor arcs. We first introduce an extensio...
Louis-Marie Traonouez, Didier Lime, Olivier H. Rou...