Sciweavers

2620 search results - page 361 / 524
» Qualities in Possible Worlds
Sort
View
ISBI
2009
IEEE
16 years 1 months ago
Transrectal Ultrasound Prostate Biopsy Tracking with Efficient and Accurate Deformation Estimation
Prostate cancer is the most frequent cancer for men and the second cause of cancer death. Confirmation of cancer requires transrectal prostate biopsies. Tracking systems for tran...
Michael Baumann, Pierre Mozer, Vincent Daanen, Joc...
TACAS
2009
Springer
122views Algorithms» more  TACAS 2009»
16 years 1 months ago
Test Input Generation for Programs with Pointers
Software testing is an essential process to improve software quality in practice. Researchers have proposed several techniques to automate parts of this process. In particular, sym...
Dries Vanoverberghe, Nikolai Tillmann, Frank Piess...
IAT
2009
IEEE
16 years 1 months ago
Group Recommendation with Automatic Identification of Users Communities
—Recommender systems usually propose items to single users. However, in some domains like Mobile IPTV or Satellite Systems it might be impossible to generate a program schedule f...
Ludovico Boratto, Salvatore Carta, Alessandro Ches...
ICC
2009
IEEE
162views Communications» more  ICC 2009»
16 years 1 months ago
CLACK: A Network Covert Channel Based on Partial Acknowledgment Encoding
—The ability of setting up a covert channel, which allows any two nodes with Internet connections to engage in secretive communication, clearly causes a very serious security con...
Xiapu Luo, Edmond W. W. Chan, Rocky K. C. Chang
IEEECIT
2009
IEEE
16 years 1 months ago
Unifying Runtime Adaptation and Design Evolution
Abstract—The increasing need for continuously available software systems has raised two key-issues: self-adaptation and design evolution. The former one requires software systems...
Brice Morin, Thomas Ledoux, Mahmoud Ben Hassine, F...