Sciweavers

1662 search results - page 204 / 333
» The Computational Complexity of Agent Design Problems
Sort
View
AAAI
1994
13 years 10 months ago
Visual Semantics: Extracting Visual information from Text Accompanying Pictures
This research explores the interaction of textual and photographic information in document understanding. The problem of performing generalpurpose vision without apriori knowledge...
Rohini K. Srihari, Debra T. Burhans
MMAS
2011
Springer
13 years 3 months ago
A Multiscale Method for Epitaxial Growth
In this paper we investigate a heterogeneous multiscale method (HMM) for interface tracking and apply the technique to the simulation of epitaxial growth. HMM relies on an efficien...
Yi Sun, Russel Caflisch, Björn Engquist
PODC
2010
ACM
14 years 24 days ago
Constant RMR solutions to reader writer synchronization
We study Reader-Writer Exclusion [1], a well-known variant of the Mutual Exclusion problem [2] where processes are divided into two classes–readers and writers–and multiple re...
Vibhor Bhatt, Prasad Jayanti
ARTS
1997
Springer
14 years 14 days ago
The Verus Language: Representing Time Efficiently with BDDs
There have been significant advances on formal methods to verify complex systems recently. Nevertheless, these methods have not yet been accepted as a realistic alternative to the ...
Sérgio Vale Aguiar Campos, Edmund M. Clarke
PVLDB
2010
134views more  PVLDB 2010»
13 years 7 months ago
Conditioning and Aggregating Uncertain Data Streams: Going Beyond Expectations
Uncertain data streams are increasingly common in real-world deployments and monitoring applications require the evaluation of complex queries on such streams. In this paper, we c...
Thanh T. L. Tran, Andrew McGregor, Yanlei Diao, Li...