Sciweavers

2687 search results - page 232 / 538
» On the Conversion between Number Systems
Sort
View
175
Voted
JELIA
1998
Springer
15 years 11 months ago
A Logic for Anytime Deduction and Anytime Compilation
Abstract. One of the maincharacteristics of logical reasoning in knowledge based systems is its high computational complexity. Anytime deduction and anytime compilation are two att...
Frédéric Koriche
SIROCCO
2008
15 years 8 months ago
Sharpness: A Tight Condition for Scalability
: A distributed system is scalable if the rate at which it completes its computation and communication tasks does not depend on its size. As an example, the scalability of a peer-t...
Augustin Chaintreau
ANLP
2000
126views more  ANLP 2000»
15 years 8 months ago
The Automatic Translation of Discourse Structures
We empirically show that there are significant differences between the discourse structure of Japanese texts and the discourse structure of their corresponding English translation...
Daniel Marcu, Lynn Carlson, Maki Watanabe
PE
2008
Springer
106views Optimization» more  PE 2008»
15 years 6 months ago
Heavy traffic analysis of polling models by mean value analysis
In this paper we present a new approach to derive heavy-traffic asymptotics for polling models. We consider the classical cyclic polling model with exhaustive or gated service at ...
Robert D. van der Mei, Erik M. M. Winands
QEST
2010
IEEE
15 years 4 months ago
Automating the Mean-Field Method for Large Dynamic Gossip Networks
Abstract--We investigate an abstraction method, called meanfield method, for the performance evaluation of dynamic networks with pairwise communication between nodes. It allows us ...
Rena Bakhshi, Jörg Endrullis, Stefan Endrulli...