Sciweavers

1299 search results - page 110 / 260
» EMC - A modeling method for developing web-based application...
Sort
View
TIP
2008
90views more  TIP 2008»
15 years 4 months ago
Synthetic Aperture Hitchhiker Imaging
We introduce a novel synthetic-aperture imaging method for radar systems that rely on sources of opportunity. We consider receivers that fly along arbitrary, but known, flight traj...
Can Evren Yarman, Birsen Yazici
CVPR
2000
IEEE
16 years 6 months ago
3-D Model Construction Using Range and Image Data
This paper deals with the automated creation of geometric and photometric correct 3-D models of the world. Those models can be used for virtual reality, tele? presence, digital ci...
Ioannis Stamos, Peter K. Allen
SIGGRAPH
2000
ACM
15 years 8 months ago
Toward a psychophysically-based light reflection model for image synthesis
In this paper we introduce a new light reflection model for image synthesis based on experimental studies of surface gloss perception. To develop the model, we’ve conducted two ...
Fabio Pellacini, James A. Ferwerda, Donald P. Gree...
SIGSOFT
1996
ACM
15 years 8 months ago
Model Checking Large Software Specifications
In this paper we present our experiences in using symbolic model checking to analyze a specification of a software system for aircraft collision avoidance. Symbolic model checking ...
Richard J. Anderson, Paul Beame, Steve Burns, Will...
DAIS
2010
15 years 5 months ago
Structured Context Prediction: A Generic Approach
Context-aware applications and middleware platforms are evolving into major driving factors for pervasive systems. The ability to also make accurate assumptions about future contex...
Matthias Meiners, Sonja Zaplata, Winfried Lamersdo...