Sciweavers

729 search results - page 118 / 146
» A Transitive Closure Based Algorithm for Test Generation
Sort
View
HT
2010
ACM
14 years 29 days ago
Community-based ranking of the social web
The rise of social interactions on the Web requires developing new methods of information organization and discovery. To that end, we propose a generative community-based probabil...
Said Kashoob, James Caverlee, Krishna Kamath
ICIP
2006
IEEE
14 years 9 months ago
On the Use of Metrics for Multi-Dimensional Descriptors Clustering
The Visual Thesaurus is a new query approach when no starting image is available. It is a concise representation of all similar regions in a panel of visual patches; the user arra...
Hichem Houissa, Nozha Boujemaa
CEC
2009
IEEE
14 years 2 months ago
Evolutionary design of the energy function for protein structure prediction
— Automatic protein structure predictors use the notion of energy to guide the search towards good candidate structures. The energy functions used by the state-of-the-art predict...
Pawel Widera, Jonathan M. Garibaldi, Natalio Krasn...
ATAL
2007
Springer
14 years 2 months ago
Dynamic movement and positioning of embodied agents in multiparty conversations
For embodied agents to engage in realistic multiparty conversation, they must stand in appropriate places with respect to other agents and the environment. When these factors chan...
Dusan Jan, David R. Traum
ATVA
2007
Springer
136views Hardware» more  ATVA 2007»
14 years 2 months ago
Symbolic Fault Tree Analysis for Reactive Systems
Fault tree analysis is a traditional and well-established technique for analyzing system design and robustness. Its purpose is to identify sets of basic events, called cut sets, wh...
Marco Bozzano, Alessandro Cimatti, Francesco Tappa...