Sciweavers

456 search results - page 41 / 92
» Extending Problem Frames to deal with stakeholder problems
Sort
View
AI
2000
Springer
14 years 11 months ago
Credal networks
Credal networks are models that extend Bayesian nets to deal with imprecision in probability, and can actually be regarded as sets of Bayesian nets. Evidence suggests that credal ...
Fabio Gagliardi Cozman
ECCV
2006
Springer
16 years 1 months ago
Multivariate Relevance Vector Machines for Tracking
This paper presents a learning based approach to tracking articulated human body motion from a single camera. In order to address the problem of pose ambiguity, a one-to-many mappi...
Arasanathan Thayananthan, Ramanan Navaratnam, Bj&o...
POPL
2009
ACM
16 years 13 days ago
Compositional shape analysis by means of bi-abduction
This paper describes a compositional shape analysis, where each procedure is analyzed independently of its callers. The analysis uses an abstract domain based on a restricted frag...
Cristiano Calcagno, Dino Distefano, Peter W. O'Hea...
KDD
2007
ACM
132views Data Mining» more  KDD 2007»
16 years 6 days ago
A scalable modular convex solver for regularized risk minimization
A wide variety of machine learning problems can be described as minimizing a regularized risk functional, with different algorithms using different notions of risk and different r...
Choon Hui Teo, Alex J. Smola, S. V. N. Vishwanatha...
ASPDAC
2004
ACM
97views Hardware» more  ASPDAC 2004»
15 years 5 months ago
Complexity analysis and speedup techniques for optimal buffer insertion with minimum cost
As gate delays decrease faster than wire delays for each technology generation, buffer insertion becomes a popular method to reduce the interconnect delay. Several modern buffer in...
Weiping Shi, Zhuo Li, Charles J. Alpert