Sciweavers

2282 search results - page 428 / 457
» Active property checking
Sort
View
IPMI
2005
Springer
14 years 3 months ago
PET Image Reconstruction: A Robust State Space Approach
Statistical iterative reconstruction algorithms have shown improved image quality over conventional nonstatistical methods in PET by using accurate system response models and measu...
Huafeng Liu, Yi Tian, Pengcheng Shi
KDD
2009
ACM
248views Data Mining» more  KDD 2009»
14 years 2 months ago
PSkip: estimating relevance ranking quality from web search clickthrough data
1 In this article, we report our efforts in mining the information encoded as clickthrough data in the server logs to evaluate and monitor the relevance ranking quality of a commer...
Kuansan Wang, Toby Walker, Zijian Zheng
CASES
2007
ACM
14 years 1 months ago
SCCP/x: a compilation profile to support testing and verification of optimized code
Embedded systems are often used in safety-critical environments. Thus, thorough testing of them is mandatory. A quite active research area is the automatic test-case generation fo...
Raimund Kirner
BLISS
2009
IEEE
13 years 11 months ago
Mechatronic Security and Robot Authentication
Robot Security is becoming more and more a serious issue for many modern applications. Robot Security matters are still not intensively addressed in the published literature. The ...
Wael Adi
BMCBI
2010
107views more  BMCBI 2010»
13 years 10 months ago
Detection of characteristic sub pathway network for angiogenesis based on the comprehensive pathway network
Background: Pathways in biological system often cooperate with each other to function. Changes of interactions among pathways tightly associate with alterations in the properties ...
Yezhou Huang, Shao Li