411 search results - page 48 / 83 » An Architecture for Transforming Graphical Interfaces |
ENTCS
2008
14 years 11 months ago
2008
The satisfiability problem is the fundamental problem in proving the conflict-freeness of specifications, or in finding a counterexample for an invalid statement. In this paper, w...
CGF
2000
14 years 11 months ago
2000
We present an interactive system for the generation of high quality triangle meshes that allows us to handle hybrid geometry (point clouds, polygons, ...) as input data. In order ...
110
click to vote
IPPS
2006
IEEE
15 years 5 months ago
2006
IEEE
— This paper presents work-in-progress towards a C++ source-to-source translator that automatically seeks parallelisable code fragments and replaces them with code for a graphics...
EGOV
2004
Springer
15 years 5 months ago
2004
Springer
This paper describes an architecture which can be used to access geographic information from mobile devices with limited display and processing characteristics, such as Personal Di...
96
Voted
CATA
2003
15 years 1 months ago
2003
Many current general purpose processors use extensions to the instruction set architecture to enhance the performance of digital image processing and multimedia applications. In t...