846 search results - page 144 / 170 » Transforming structures by set interpretations |
119
Voted
VISUALIZATION
2000
IEEE
15 years 7 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...
115
Voted
EATIS
2007
ACM
15 years 6 months 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...
127
Voted
ESOP
2007
Springer
15 years 6 months 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...
143
Voted
SPIEVIP
2010
15 years 5 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...
111
click to vote
EICS
2010
ACM
15 years 4 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...