Sciweavers

1679 search results - page 151 / 336
» Evaluation by comparing result sets in context
Sort
View
ICIP
2010
IEEE
13 years 8 months ago
Robust segmentation of lung tissue in chest CT scanning
This paper deals with segmentation of the lung tissues from low dose CT (LDCT) scans of the chest. Goal is correct segmentation as well as maintaining the details of the lung regi...
Amal A. Farag, James Graham, Aly Farag
SIGMOD
2006
ACM
126views Database» more  SIGMOD 2006»
14 years 10 months ago
Declarative networking: language, execution and optimization
The networking and distributed systems communities have recently explored a variety of new network architectures, both for applicationlevel overlay networks, and as prototypes for...
Boon Thau Loo, Tyson Condie, Minos N. Garofalakis,...
SIGSOFT
2004
ACM
14 years 11 months ago
Efficient incremental algorithms for dynamic detection of likely invariants
Dynamic detection of likely invariants is a program analysis that generalizes over observed values to hypothesize program properties. The reported program properties are a set of ...
Jeff H. Perkins, Michael D. Ernst
DATE
2009
IEEE
111views Hardware» more  DATE 2009»
14 years 5 months ago
Increased accuracy through noise injection in abstract RTOS simulation
RTOS Simulation Henning Zabel, Wolfgang Mueller Universität Paderborn, C-LAB Fürstenallee 11, D-33102 Paderborn, Germany —Today, mobile and embedded real-time systems have to c...
Henning Zabel, Wolfgang Mueller
ECTEL
2006
Springer
14 years 1 months ago
Bayesian Student Models Based on Item to Item Knowledge Structures
Bayesian networks are commonly used in cognitive student modeling and assessment. They typically represent the item-concepts relationships, where items are observable responses to ...
Michel Desmarais, Michel Gagnon