Sciweavers

1416 search results - page 116 / 284
» An Exact Interpretation of While
Sort
View
ISBI
2006
IEEE
15 years 11 months ago
A novel approximate inference approach to automated classification of protein subcellular location patterns in multi-cell images
The subcellular location of proteins is most often determined by visual interpretation of fluorescence microscope images. In recent years, automated systems have been developed so...
Shann-Ching Chen, Geoffrey J. Gordon, Robert F. Mu...
POPL
2005
ACM
15 years 10 months ago
Automated soundness proofs for dataflow analyses and transformations via local rules
We present Rhodium, a new language for writing compiler optimizations that can be automatically proved sound. Unlike our previous work on Cobalt, Rhodium expresses optimizations u...
Sorin Lerner, Todd D. Millstein, Erika Rice, Craig...
CBMS
2009
IEEE
15 years 5 months ago
Assimilating information and offering a medical opinion in remote and co-located meetings
Discussion on patient data, among hospital staff, plays an increasingly important role in inter-specialist communication. Effectiveness of a discussion depends, among other factor...
Bridget Kane, Saturnino Luz
IROS
2009
IEEE
115views Robotics» more  IROS 2009»
15 years 4 months ago
Intermittency of slow arm movements increases in distal direction
— When analyzed in the tangential speed domain, human movements exhibit a multi-peaked speed profile which is commonly interpreted as evidence for submovements. At slow speeds, ...
Ozkan Celik, Qin Gu, Zhigang Deng, Marcia Kilchenm...
ICPR
2008
IEEE
15 years 4 months ago
Intuitive event modeling for personalized behavior monitoring
Behavior understanding and semantic interpretation of dynamic visual scenes have attracted a lot of attention in computer vision research community. Although the use of surveillan...
Ahmed Azough, Alexandre Delteil, Fabien De Marchi,...