Sciweavers

4526 search results - page 553 / 906
» Algorithmic problems related to the Internet
Sort
View
DAC
1994
ACM
15 years 11 months ago
BDD Variable Ordering for Interacting Finite State Machines
We address the problem of obtaining good variable orderings for the BDD representation of a system of interacting finite state machines (FSMs). Orderings are derived from the comm...
Adnan Aziz, Serdar Tasiran, Robert K. Brayton
WDAG
2000
Springer
111views Algorithms» more  WDAG 2000»
15 years 10 months ago
Thrifty Generic Broadcast
Weconsider the problemof generic broadcast in asynchronous systems with crashes, a problem that was rst studied in 12]. Roughly speaking, given a \con ict" relation on the set...
Marcos Kawazoe Aguilera, Carole Delporte-Gallet, H...
COCO
2008
Springer
108views Algorithms» more  COCO 2008»
15 years 8 months ago
Exponential Separation of Quantum and Classical Non-interactive Multi-party Communication Complexity
We give the first exponential separation between quantum and classical multi-party communication complexity in the (non-interactive) one-way and simultaneous message passing setti...
Dmitry Gavinsky, Pavel Pudlák
DAGM
2008
Springer
15 years 8 months ago
Physically Consistent Variational Denoising of Image Fluid Flow Estimates
Abstract. High-speed image measurements of fluid flows define an important field of research in experimental fluid mechanics and the related industry. Numerous competing methods ha...
Andrey Vlasenko, Christoph Schnörr
ACL
2003
15 years 8 months ago
Syntactic Features and Word Similarity for Supervised Metonymy Resolution
We present a supervised machine learning algorithm for metonymy resolution, which exploits the similarity between examples of conventional metonymy. We show that syntactic head-mo...
Malvina Nissim, Katja Markert