Sciweavers

939 search results - page 171 / 188
» Improving Dynamic Data Analysis with Aspect-Oriented Program...
Sort
View
DATE
2006
IEEE
96views Hardware» more  DATE 2006»
14 years 1 months ago
On the relation between simulation-based and SAT-based diagnosis
The problem of diagnosis – or locating the source of an error or fault – occurs in several areas of Computer Aided Design, such as dynamic verification, property checking, eq...
Görschwin Fey, Sean Safarpour, Andreas G. Ven...
ISMAR
2006
IEEE
14 years 1 months ago
Going out: robust model-based tracking for outdoor augmented reality
This paper presents a model-based hybrid tracking system for outdoor augmented reality in urban environments enabling accurate, realtime overlays for a handheld device. The system...
Gerhard Reitmayr, Tom Drummond
MDAI
2005
Springer
14 years 1 months ago
Meta-data: Characterization of Input Features for Meta-learning
Abstract. Common inductive learning strategies offer the tools for knowledge acquisition, but possess some inherent limitations due to the use of fixed bias during the learning p...
Ciro Castiello, Giovanna Castellano, Anna Maria Fa...
IM
2003
13 years 9 months ago
A Revenue-based Model for Making Resource Investment Decisions in IP Networks
: Capacity planning is a critical task in network management. It identifies how much capacity is needed to match future traffic demand. It directly affects customer satisfaction ...
Srinivasan Jagannathan, Jörn Altmann, Lee Rho...
BILDMED
2009
161views Algorithms» more  BILDMED 2009»
13 years 8 months ago
Estimation of Inner Lung Motion Fields by Non-linear Registration
Abstract. Detailed analysis of breathing dynamics, as motivated by radiotherapy of lung tumors, requires accurate estimates of inner lung motion fields. We present an evaluation an...
René Werner, Jan Ehrhardt, Alexander Schmid...