Sciweavers

3708 search results - page 508 / 742
» Approximating Betweenness Centrality
Sort
View
GI
2005
Springer
16 years 4 days ago
Automated Quality Assurance for UML Models
Abstract: Model based development, like proposed by the OMG’s Model Driven Arre (MDA), aims to raise the level of abstraction from working on the code to working with models. For...
Tilman Seifert, Florian Jug, Günther Rackl
IVA
2005
Springer
16 years 4 days ago
Direct Manipulation Like Tools for Designing Intelligent Virtual Agents
If intelligent virtual agents are to become widely adopted it is vital that they can be designed using the user friendly graphical tools that are used in other areas of graphics. H...
Marco Gillies, Dale Robeterson, Daniel Ballin
172
Voted
MKM
2005
Springer
16 years 3 days ago
An Exploration in the Space of Mathematical Knowledge
Abstract. Although knowledge is a central topic for MKM there is little explicit discussion on what ‘knowledge’ might actually be. There are specific intuitions about form and...
Andrea Kohlhase, Michael Kohlhase
MM
2004
ACM
118views Multimedia» more  MM 2004»
16 years 1 days ago
Articulation, the letter, and the spirit in the aesthetics of narrative
A furthered understanding of the aesthetic aspects of narrative is important to both people and machines who wish to author pleasing narratives. This paper gives an account of the...
Hugo Liu
ASIAN
2004
Springer
150views Algorithms» more  ASIAN 2004»
16 years 1 days ago
Concurrent Constraint-Based Memory Machines: A Framework for Java Memory Models
A central problem in extending the von Neumann architecture to petaflop computers with millions of hardware threads and with a shared memory is defining the memory model [Lam79,...
Vijay A. Saraswat