846 search results - page 144 / 170 » Transforming structures by set interpretations |
VISUALIZATION
2000
IEEE
14 years 1 months ago
2000
IEEE
Visualization techniques enable scientists to interactively explore 3D data sets, segmenting and cutting them to reveal inner structure. While powerful, these techniques suffer fr...
EATIS
2007
ACM
14 years 18 days ago
2007
ACM
The web service approach provides mechanisms for simplifying application integration. However, to meaningfully facilitate scalable development and maintenance of web service appli...
ESOP
2007
Springer
14 years 17 days ago
2007
Springer
Abstract. General refinement types allow types to be refined by predicates written in a general-purpose programming language, and can express function pre- and postconditions and d...
SPIEVIP
2010
13 years 11 months ago
2010
This paper reports on a new technique for unconstrained license plate detection in a surveillance context. The proposed algorithm quickly finds license plates by performing the fo...
EICS
2010
ACM
13 years 10 months ago
2010
ACM
Modern User Interfaces (UI) must deal with the increasing complexity of applications in terms of functionality as well as new properties as plasticity. The plasticity of a UI deno...