Sciweavers

8671 search results - page 1471 / 1735
» A generator for hierarchical problems
Sort
View
ALT
2008
Springer
15 years 8 months ago
Some Sufficient Conditions on an Arbitrary Class of Stochastic Processes for the Existence of a Predictor
Abstract. We consider the problem of sequence prediction in a probabilistic setting. Let there be given a class C of stochastic processes (probability measures on the set of one-wa...
Daniil Ryabko
COCO
2008
Springer
118views Algorithms» more  COCO 2008»
15 years 8 months ago
Quantum Expanders: Motivation and Constructions
: We define quantum expanders in a natural way. We give two constructions of quantum expanders, both based on classical expander constructions. The first construction is algebraic,...
Avraham Ben-Aroya, Oded Schwartz, Amnon Ta-Shma
CODES
2008
IEEE
15 years 8 months ago
Model checking SystemC designs using timed automata
SystemC is widely used for modeling and simulation in hardware/software co-design. Due to the lack of a complete formal semantics, it is not possible to verify SystemC designs. In...
Paula Herber, Joachim Fellmuth, Sabine Glesner
PAISI
2010
Springer
15 years 8 months ago
Identifying Controversial Issues and Their Sub-topics in News Articles
We tackle the problem of automatically detecting controversial issues and their subtopics from news articles. We define a controversial issue as a concept that invokes conflicting ...
Yoonjung Choi, Yuchul Jung, Sung-Hyon Myaeng
228
Voted
DOCENG
2008
ACM
15 years 8 months ago
A concise XML binding framework facilitates practical object-oriented document engineering
Semantic web researchers tend to assume that XML Schema and OWL-S are the correct means for representing the types, structure, and semantics of XML data used for documents and int...
Andruid Kerne, Zachary O. Toups, Blake Dworaczyk, ...
« Prev « First page 1471 / 1735 Last » Next »