Sciweavers

4372 search results - page 384 / 875
» Algorithmic Theories of Everything
Sort
View
CIKM
2009
Springer
15 years 11 months ago
Minimal common container of tree patterns
Tree patterns represent important fragments of XPath. In this paper, we show that some classes of tree patterns exhibit such a property that, given a finite number of tree patter...
Junhu Wang, Jeffrey Xu Yu, Chaoyi Pang, Chengfei L...
GLVLSI
1999
IEEE
87views VLSI» more  GLVLSI 1999»
15 years 11 months ago
A Radix-16 SRT Division Unit with Speculation of the Quotient Digits
The speed of a divider based on a digit-recurrence algorithm depends mainly on the latency of the quotient digit generation function. In this paper we present an analytical approa...
Gianluca Cornetta, Jordi Cortadella
STOC
1992
ACM
110views Algorithms» more  STOC 1992»
15 years 11 months ago
Linear Decision Trees: Volume Estimates and Topological Bounds
Abstract. We describe two methods for estimating the size and depth of decision trees where a linear test is performed at each node. Both methods are applied to the question of dec...
Anders Björner, László Lov&aacu...
199
Voted
DAARC
2009
Springer
216views Algorithms» more  DAARC 2009»
15 years 10 months ago
The Doubly Marked Reflexive in Chinese
We discuss an unusual reflexive construction in which the Chinese reflexive ziji appears twice, once before the verb and once after. We demonstrate that this is a distinct construc...
Alexis Dimitriadis, Min Que
FOSSACS
2006
Springer
15 years 10 months ago
Distributed Unfolding of Petri Nets
Some recent Petri net-based approaches to fault diagnosis of distributed systems suggest to factor the problem into local diagnoses based on the unfoldings of local views of the sy...
Paolo Baldan, Stefan Haar, Barbara König