Sciweavers

4352 search results - page 358 / 871
» A Representation Theorem and Applications
Sort
View
GIR
2007
ACM
15 years 11 months ago
Visualization of geographic query results for small screen devices
The visualization of geo-referenced information on a map has become an essential method to help the users to get the intended information. The adaptation of visualization techniqu...
Maria Beatriz Carmo, Ana Paula Afonso, Paulo Pombi...
ASWEC
2004
IEEE
15 years 11 months ago
Obstacles to a Totally Functional Programming Style
"Totally Functional Programming" (TFP) advocates the complete replacement of symbolic representations for data by functions. TFP is motivated by observations from practi...
Paul A. Bailes, Colin J. M. Kemp
ESAW
2006
Springer
15 years 11 months ago
Competence Checking for the Global E-Service Society Using Games
Abstract. We study the problem of checking the competence of communicative agents operating in a global society in order to receive and offer electronic services. Such a society wi...
Kostas Stathis, George Lekeas, Christos Kloukinas
SPATIALCOGNITION
2000
Springer
15 years 11 months ago
Monitoring Change: Characteristics of Dynamic Geo-spatial Phenomena for Visual Exploration
Abstract. In the context of a research about application of dynamic visualisation parameters in animations for monitoring purposes, this paper reports on characteristics of dynamic...
Connie A. Blok
DAC
1995
ACM
15 years 11 months ago
Automatic Clock Abstraction from Sequential Circuits
Our goal is to transform a low-level circuit design into a more representation. A pre-existing tool, Tranalyze [4], takes a switch-level circuit and generates a functionally equiv...
Samir Jain, Randal E. Bryant, Alok Jain