Sciweavers

2714 search results - page 188 / 543
» On the Notion of Value Object
Sort
View
INFOVIS
2000
IEEE
15 years 11 months ago
From Metaphor to Method: Cartographic Perspectives on Information Visualization
By virtue of their spatio-cognitive abilities, humans are able to navigate through geographic space as well as meaningfully communicate geographic information represented in carto...
André Skupin
AGENTCL
2000
Springer
15 years 11 months ago
Using Colored Petri Nets for Conversation Modeling
Conversations are a useful means of structuring communicative interactions among agents. The value of a conversation-based approach is largely determined by the conversational mod...
R. Scott Cost, Ye Chen, Timothy W. Finin, Yannis L...
ISMVL
1999
IEEE
90views Hardware» more  ISMVL 1999»
15 years 10 months ago
Transformations between Signed and Classical Clause Logic
In the last years two automated reasoning techniques for clause normal form arose in which the use of labels are prominently featured: signed logic and annotated logic programming...
Bernhard Beckert, Reiner Hähnle, Felip Many&a...
GD
1999
Springer
15 years 10 months ago
Centrality in Policy Network Drawings
—We introduce a network visualization technique that supports an analytical method applied in the social sciences. Policy network analysis is an approach to study policy making s...
Ulrik Brandes, Patrick Kenis, Dorothea Wagner
HYBRID
1999
Springer
15 years 10 months ago
As Soon as Possible: Time Optimal Control for Timed Automata
In this work we tackle the following problem: given a timed automaton, and a target set F of configurations, restrict its transition relation in a systematic way so that from ever...
Eugene Asarin, Oded Maler