4460 search results - page 605 / 892 » Formal methods for interactive systems |
185
click to vote
WSCG
2003
15 years 8 months ago
2003
The paper presents a visualization-based approach to explore large databases of geographic metadata. The aim of the data exploration is to search and acquire expressive geographic...
185
Voted
MVA
2008
15 years 6 months ago
2008
We present a generic framework for enhanced active multi-sensing. We propose a coopetitive interaction approach, which combines the salient features of cooperation and competition ...
169
click to vote
PR
2006
15 years 6 months ago
2006
For the management of digital document collections, automatic database analysis still has ties to deal with semantic queries and abstract concepts that users are looking for. When...
149
click to vote
ACL
2009
15 years 4 months ago
2009
ProLiV - Animated Process-modeler of Complex (Computational) Linguistic Methods and Theories - is a fully modular, flexible, XML-based stand-alone Java application, used for compu...
165
click to vote
HCI
2009
15 years 4 months ago
2009
Domain-specific modeling is a powerful technique to describe complex systems in a precise but still understandable way. Rapid creation of graphical Domain-Specific Languages (DSLs)...