Sciweavers

1403 search results - page 251 / 281
» Quantitative Interprocedural Analysis
Sort
View
109
Voted
FORMATS
2007
Springer
15 years 2 months ago
Combining Formal Verification with Observed System Execution Behavior to Tune System Parameters
Resource limited DRE (Distributed Real-time Embedded) systems can benefit greatly from dynamic adaptation of system parameters. We propose a novel approach that employs iterative t...
Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcot...
ECCV
2006
Springer
15 years 26 days ago
Spatial Intensity Correction of Fluorescent Confocal Laser Scanning Microscope Images
Abstract. This paper addresses the problem of intensity correction of fluorescent confocal laser scanning microscope (CLSM) images. CLSM images are frequently used in medical domai...
Sang-Chul Lee, Peter Bajcsy
94
Voted
DOCENG
2005
ACM
15 years 26 days ago
Generative semantic clustering in spatial hypertext
This paper presents an iterative method for generative semantic clustering of related information elements in spatial hypertext documents. The goal is to automatically organize th...
Andruid Kerne, Eunyee Koh, Vikram Sundaram, J. Mic...
SOCRATES
2008
133views Education» more  SOCRATES 2008»
15 years 9 days ago
From Daily Language to Scientific Jargon: The Role of Peer Interaction in Web Forum
The paper presents the activities and the results of the "Child Observation in school context workshop", an on line course realized during the last academic years at Mac...
P. Nicolini, T. Lapucci
102
Voted
DAGSTUHL
2006
15 years 9 days ago
Cognitive Vision Needs Attention to Link Sensing with Recognition
Abstract. "Cognitive computer vision is concerned with integration and control of vision systems using explicit but not necessarily symbolic models of context, situation and g...
John K. Tsotsos