Sciweavers

3059 search results - page 214 / 612
» Information modeling for single sourcing
Sort
View
CAV
2007
Springer
121views Hardware» more  CAV 2007»
16 years 23 days ago
Low-Level Library Analysis and Summarization
Programs typically make extensive use of libraries, including dynamically linked libraries, which are often not available in source-code form, and hence not analyzable by tools tha...
Denis Gopan, Thomas W. Reps
ICASSP
2010
IEEE
15 years 6 months ago
Outage-optimal transmission in multiuser-MIMO Kronecker channels
In this work, we look at single user and multiuser Multiple-Input Multiple-Output (MIMO) beamforming networks with Channel Distribution Information (CDI). CDI does not need to be ...
Sagnik Ghosh, Bhaskar D. Rao, James R. Zeidler
CVPR
2001
IEEE
16 years 8 months ago
Using Robust Methods for Automatic Extraction of Buildings
We present a system for modeling buildings from a single correlation-based Digital Elevation Model (DEM). The model is constructed in two stages. The first stage segments the DEM ...
Christophe Vestri, Frederic Devernay
MICCAI
2007
Springer
16 years 7 months ago
Object Localization Based on Markov Random Fields and Symmetry Interest Points
We present an approach to detect anatomical structures by configurations of interest points, from a single example image. The representation of the configuration is based on Markov...
Branislav Micusík, Georg Langs, Horst Bisch...
FBT
1998
129views Formal Methods» more  FBT 1998»
15 years 8 months ago
Specification Modules for Methodical System Development
: We show how an alternative approach to document-oriented specification can ease the system design process. By identifying the modeling concepts needed for a complete system speci...
Franz Huber, Bernhard Schätz