3381 search results - page 282 / 677 » Using VCL as an Aspect-Oriented Approach to Requirements Mod... |
161
click to vote
FDL
2005
IEEE
16 years 9 days ago
2005
IEEE
In order to address the complexities of SoC design, rigorous development methods and automated tools are required. This paper presents an approach to formal verification using mod...
188
click to vote
JAIR
2002
15 years 6 months ago
2002
Hidden Markov models hmms and partially observable Markov decision processes pomdps provide useful tools for modeling dynamical systems. They are particularly useful for represent...
161
click to vote
ICIP
2001
IEEE
16 years 8 months ago
2001
IEEE
The problemof structurefrom motion (SFM)is to extract the three-dimensionalmodel of a moving scene from a sequence of images. Though two images are sufficient to produce a 3D reco...
187
click to vote
ENVSOFT
2008
15 years 6 months ago
2008
Many impact studies require climate change information at a finer resolution than that provided by Global Climate Models (GCMs). In the last 10 years, downscaling techniques, both...
165
click to vote
IMR
2003
Springer
15 years 12 months ago
2003
Springer
This paper presents a comprehensive approach for CAD based geometry handling in support of single and multidisciplinary analysis and design. Unlike previous schemes, the model pre...