24 search results - page 3 / 5 » A Language and a Visual Interface to Specify Complex Spatial... |
146
click to vote
VL
2005
IEEE
15 years 8 months ago
2005
IEEE
Design by Contract (DbC) is widely acknowledged to be a powerful technique for creating reliable software. DbC allows developers to specify the behavior of an operation precisely ...
117
click to vote
UIST
2009
ACM
15 years 9 months ago
2009
ACM
We present Sikuli, a visual approach to search and automation of graphical user interfaces using screenshots. Sikuli allows users to take a screenshot of a GUI element (such as a ...
163
click to vote
SC
2005
ACM
15 years 8 months ago
2005
ACM
Terascale simulations produce data that is vast in spatial, temporal, and variable domains, creating a formidable challenge for subsequent analysis. Feature extraction as a data r...
229
click to vote
GIS
2008
ACM
16 years 4 months ago
2008
ACM
We report on our experience from design and implementation of a powerful map application for managing, querying and visualizing evolving locations of moving objects. Instead of bu...
169
click to vote
SPATIALCOGNITION
2000
Springer
15 years 6 months ago
2000
Springer
The paper analyzes a diagrammatic reasoning problem that consists in finding a graphical layout which simultaneously satisfies a set of constraints expressed in a formal language a...