Sciweavers

2947 search results - page 588 / 590
» Analyzing Program Analyses
Sort
View
ECEASST
2010
14 years 8 months ago
Safe Integration of Annotated Components in Open Source Projects
: The decision of using existing software components versus building from scratch custom software is one of the most complex and important choices of the entire development/integra...
Sergio Areias, Daniela Carneiro da Cruz, Pedro Ran...
BMCBI
2010
145views more  BMCBI 2010»
14 years 5 months ago
Directionality in protein fold prediction
Background: Ever since the ground-breaking work of Anfinsen et al. in which a denatured protein was found to refold to its native state, it has been frequently stated by the prote...
Jonathan J. Ellis, Fabien P. E. Huard, Charlotte M...
CORR
2011
Springer
219views Education» more  CORR 2011»
14 years 5 months ago
Active Markov Information-Theoretic Path Planning for Robotic Environmental Sensing
Recent research in multi-robot exploration and mapping has focused on sampling environmental fields, which are typically modeled using the Gaussian process (GP). Existing informa...
Kian Hsiang Low, John M. Dolan, Pradeep K. Khosla
CORR
2011
Springer
159views Education» more  CORR 2011»
14 years 5 months ago
How to Play Unique Games against a Semi-Random Adversary
In this paper, we study the average case complexity of the Unique Games problem. We propose a natural semi-random model, in which a unique game instance is generated in several st...
Alexandra Kolla, Konstantin Makarychev, Yury Makar...
TMM
2011
169views more  TMM 2011»
14 years 5 months ago
Empowering Visual Categorization With the GPU
—Visual categorization is important to manage large collections of digital images and video, where textual metadata is often incomplete or simply unavailable. The bag-of-words mo...
Koen E. A. van de Sande, Theo Gevers, Cees G. M. S...