Sciweavers

2814 search results - page 162 / 563
» Competitive Analysis of Distributed Algorithms
Sort
View
146
Voted
NIPS
2004
15 years 4 months ago
Modeling Nonlinear Dependencies in Natural Images using Mixture of Laplacian Distribution
Capturing dependencies in images in an unsupervised manner is important for many image processing applications. We propose a new method for capturing nonlinear dependencies in ima...
Hyun-Jin Park, Te-Won Lee
116
Voted
TCS
2002
15 years 2 months ago
Automatic verification of real-time systems with discrete probability distributions
We consider the timed automata model of [3], which allows the analysis of realtime systems expressed in terms of quantitative timing constraints. Traditional approaches to real-ti...
Marta Z. Kwiatkowska, Gethin Norman, Roberto Segal...
125
Voted
CDC
2010
IEEE
118views Control Systems» more  CDC 2010»
14 years 9 months ago
Distributed scheduling for air traffic throughput maximization during the terminal phase of flight
FAA's NextGen program aims at increasing the capacity of the national airspace, while ensuring the safety of aircraft. This paper provides a distributed merging and spacing al...
Rahul Chipalkatty, Philip Twu, Amir Rahmani, Magnu...
145
Voted
COMCOM
2011
14 years 9 months ago
Modeling gossip-based content dissemination and search in distributed networking
This paper presents a rigorous analytic study of gossip-based message dissemination schemes that can be employed for content/service dissemination or discovery in unstructured and...
Siyu Tang, Eva Jaho, Ioannis Stavrakakis, Ioannis ...
HPDC
2010
IEEE
15 years 3 months ago
ParaText: scalable text modeling and analysis
Automated analysis of unstructured text documents (e.g., web pages, newswire articles, research publications, business reports) is a key capability for solving important problems ...
Daniel M. Dunlavy, Timothy M. Shead, Eric T. Stant...