6978 search results - page 146 / 1396 » Reframing Requirements Analysis |
AAI
2007
14 years 10 months ago
2007
Multi-representation reasoning processes often show a variety of reasoning paths that can be followed. To analyse such reasoning processes with special attention for differences b...
IJFCS
2008
14 years 10 months ago
2008
Abstract. We present an approach to verification of parameterized systems, which is based on program transformation technique known as supercompilation. In this approach the statem...
MR
2002
14 years 9 months ago
2002
This paper presents an approach to the analysis of transient thermal states in electronic circuits using an analytical solution of the heat equation. Fully three-dimensional analy...
ICCV
1999
IEEE
15 years 12 months ago
1999
IEEE
A nonparametric estimator of density gradient, the mean shift, is employed in the joint, spatial-range (value) domain of gray level and color images for discontinuity preserving l...
ECCV
2008
Springer
15 years 12 months ago
2008
Springer
Computer vision has traditionally focused on extracting structure, such as depth, from images acquired using thin-lens or pinhole optics. The development of computational imaging i...