Sciweavers

4636 search results - page 814 / 928
» Application of Linguistic Techniques for Use Case Analysis
Sort
View
CVIU
2007
180views more  CVIU 2007»
14 years 10 months ago
Mutual information based registration of multimodal stereo videos for person tracking
Research presented in this paper deals with the systematic examination, development, and evaluation of a novel multimodal registration approach that can perform accurately and rob...
Stephen J. Krotosky, Mohan M. Trivedi
ASE
2005
103views more  ASE 2005»
14 years 10 months ago
Component Verification with Automatically Generated Assumptions
Abstract. Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. The typical approach to verifying propertie...
Dimitra Giannakopoulou, Corina S. Pasareanu, Howar...
CGF
2002
103views more  CGF 2002»
14 years 10 months ago
Hardware Accelerated Interactive Vector Field Visualization: A level of detail approach
This paper presents an interactive global visualization technique for dense vector fields using levels of detail. We introduce a novel scheme which combines an error-controlled hi...
Udeepta Bordoloi, Han-Wei Shen
TIP
1998
128views more  TIP 1998»
14 years 10 months ago
Multigrid anisotropic diffusion
Abstract—A multigrid anisotropic diffusion algorithm for image processing is presented. The multigrid implementation provides an efficient hierarchical relaxation method that fa...
Scott T. Acton
BCSHCI
2009
14 years 8 months ago
User research in a scientific software development project
The Usable Image project provides usability and user-centred design support to a scientific software development project. OMERO is a complex software application aimed at supporti...
David Sloan, Catriona Macaulay, Paula Forbes, Scot...