Sciweavers

747 search results - page 67 / 150
» Testing for tunneling opens
Sort
View
ISSTA
2012
ACM
12 years 3 days ago
Residual investigation: predictive and precise bug detection
We introduce the concept of “residual investigation” for program analysis. A residual investigation is a dynamic check installed as a result of running a static analysis that ...
Kaituo Li, Christoph Reichenbach, Christoph Csalln...
CBMS
2004
IEEE
14 years 1 months ago
Toward a Systems Biology Software Toolkit
Insight to complex problems may be revealed when domain data sets are viewed or structured in new and innovative ways. Systems approaches to biomedical problems fundamentally invo...
Donald J. Johann, Michael D. McGuigan, Stanimire T...
ICIP
2001
IEEE
14 years 11 months ago
A comparison of discrete and continuous output modeling techniques for a pseudo-2D hidden Markov model face recognition system
Face recognition has become an important topic within the field of pattern recognition and computer vision. In this field a number of different approaches to feature extraction, m...
Frank Wallhoff, Stefan Eickeler, Gerhard Rigoll
CHI
2007
ACM
14 years 10 months ago
Recommendations on recommendations
This interactive session discusses the quality of recommendations for improving a user interface resulting from a usability evaluation. Problems with the quality of recommendation...
Josephine Scott, Kasper Hornbæk, Rolf Molich
SODA
2010
ACM
219views Algorithms» more  SODA 2010»
14 years 7 months ago
Algorithms and Complexity for Periodic Real-Time Scheduling
We investigate the preemptive scheduling of periodic tasks with hard deadlines. We show that, even in the uniprocessor case, no polynomial time algorithm can test the feasibility ...
Vincenzo Bonifaci, Ho-Leung Chan, Alberto Marchett...