Sciweavers

7123 search results - page 186 / 1425
» The Ordered Set of Rough Sets
Sort
View
ECCC
2010
98views more  ECCC 2010»
15 years 3 months ago
Efficient Semantic Communication via Compatible Beliefs
In previous works, Juba and Sudan [6] and Goldreich, Juba and Sudan [4] considered the idea of "semantic communication", wherein two players, a user and a server, attemp...
Brendan Juba, Madhu Sudan
ICSE
2012
IEEE-ACM
13 years 9 months ago
Engineering and verifying requirements for programmable self-assembling nanomachines
—We propose an extension of van Lamsweerde’s goal-oriented requirements engineering to the domain of programmable DNA nanotechnology. This is a domain in which individual devic...
Robyn R. Lutz, Jack H. Lutz, James I. Lathrop, Tit...
SODA
2004
ACM
108views Algorithms» more  SODA 2004»
15 years 7 months ago
A certifying algorithm for the consecutive-ones property
We give a forbidden substructure characterization of set families that have the consecutive-ones property, and a linear time algorithm to find the forbidden substructure if a set ...
Ross M. McConnell
TIT
2010
112views Education» more  TIT 2010»
15 years 1 months ago
Twice-universal simulation of Markov sources and individual sequences
Abstract-- The problem of universal simulation given a training sequence is studied both in a stochastic setting and for individual sequences. In the stochastic setting, the traini...
Alvaro Martín, Neri Merhav, Gadiel Seroussi...
KDD
2006
ACM
143views Data Mining» more  KDD 2006»
16 years 7 months ago
Algorithms for discovering bucket orders from data
Ordering and ranking items of different types are important tasks in various applications, such as query processing and scientific data mining. A total order for the items can be ...
Aristides Gionis, Heikki Mannila, Kai Puolamä...