Sciweavers

658 search results - page 17 / 132
» Slicing Methods Using Static and Dynamic Analysis Informatio...
Sort
View
ICSM
2005
IEEE
14 years 1 months ago
Static Analysis of Object References in RMI-Based Java Software
Distributed applications provide numerous advantages related to software performance, reliability, interoperability, and extensibility. This paper focuses on distributed Java prog...
Mariana Sharp, Atanas Rountev
CAIP
2005
Springer
118views Image Analysis» more  CAIP 2005»
14 years 1 months ago
Method for Automatically Segmenting the Spinal Cord and Canal from 3D CT Images
We present two approaches for automatically segmenting the spinal cord/canal from native CT images of the thorax region containing the spine. Different strategies are included to ...
László G. Nyúl, Judit Kany&oa...
CVIU
2006
162views more  CVIU 2006»
13 years 7 months ago
Unsupervised scene analysis: A hidden Markov model approach
This paper presents a new approach to scene analysis, which aims at extracting structured information from a video sequence using directly low-level data. The method models the se...
Manuele Bicego, Marco Cristani, Vittorio Murino
CACM
2010
113views more  CACM 2010»
13 years 7 months ago
Reasoning about the unknown in static analysis
Static program analysis techniques cannot know certain values, such as the value of user input or network state, at analysis time. While such unknown values need to be treated as ...
Isil Dillig, Thomas Dillig, Alex Aiken
KI
2002
Springer
13 years 7 months ago
Acquisition of Landmark Knowledge from Static and Dynamic Presentation of Route Maps
This contribution reports on ongoing collaborative research at the University of Stanford, Department of Psychology, and the University of Hamburg, Department for Informatics. Ext...
Paul U. Lee, Heike Tappe, Alexander Klippel