Sciweavers

CORR
2010
Springer
53views Education» more  CORR 2010»
13 years 11 months ago
Experimental Evidence of Quantum Randomness Incomputability
Cristian S. Calude, Michael J. Dinneen, Monica Dum...
CORR
2010
Springer
103views Education» more  CORR 2010»
13 years 11 months ago
Exploratory Analysis of Functional Data via Clustering and Optimal Segmentation
We propose in this paper an exploratory analysis algorithm for functional data. The method partitions a set of functions into K clusters and represents each cluster by a simple pr...
Georges Hébrail, Bernard Hugueney, Yves Lec...
CORR
2010
Springer
66views Education» more  CORR 2010»
13 years 11 months ago
Query strategy for sequential ontology debugging
Abstract. Debugging is an important prerequisite for the wide-spread application of ontologies, especially in areas that rely upon everyday users to create and maintain knowledge b...
Kostyantyn M. Shchekotykhin, Gerhard Friedrich
CORR
2010
Springer
88views Education» more  CORR 2010»
13 years 11 months ago
A characterization of b-perfect graphs
A b-coloring is a coloring of the vertices of a graph such that each color class contains a vertex that has a neighbor in all other color classes, and the b-chromatic number of a ...
Chính T. Hoàng, Frédér...
CORR
2010
Springer
68views Education» more  CORR 2010»
13 years 11 months ago
On the Rationality of Escalation
Escalation is a typical feature of infinite games. Therefore tools conceived for studying infinite mathematical structures, namely those deriving from coinduction are essential. H...
Pierre Lescanne, Perrinel Matthieu
CORR
2010
Springer
92views Education» more  CORR 2010»
13 years 11 months ago
Extremal graphs for the identifying code problem
An identifying code of a graph G is a dominating set C such that every vertex x of G is distinguished from all other vertices by the set of vertices in C that are at distance at m...
Florent Foucaud, Eleonora Guerrini, Matjaz Kovse, ...
CORR
2010
Springer
158views Education» more  CORR 2010»
13 years 11 months ago
Epistemic Model Checking for Knowledge-Based Program Implementation: an Application to Anonymous Broadcast
Knowledge-based programs provide an abstract level of description of protocols in which agent actions are related to their states of knowledge. The paper describes how epistemic mo...
Omar I. Al-Bataineh, Ron van der Meyden
CORR
2010
Springer
40views Education» more  CORR 2010»
13 years 11 months ago
Space Complexity of Perfect Matching in Bounded Genus Bipartite Graphs
Samir Datta, Raghav Kulkarni, Raghunath Tewari, N....
CORR
2010
Springer
220views Education» more  CORR 2010»
13 years 11 months ago
Multichannel Sampling of Pulse Streams at the Rate of Innovation
We consider minimal-rate sampling schemes for streams of delayed and weighted versions of a known pulse shape. Such signals belong to the class of finite rate of innovation (FRI) m...
Kfir Gedalyahu, Ronen Tur, Yonina C. Eldar
CORR
2010
Springer
72views Education» more  CORR 2010»
13 years 11 months ago
The Burbea-Rao and Bhattacharyya centroids
Frank Nielsen, Sylvain Boltz