Sciweavers

622 search results - page 21 / 125
» Understanding and Extending Graphplan
Sort
View
DIAGRAMS
2004
Springer
14 years 2 months ago
Generating Readable Proofs: A Heuristic Approach to Theorem Proving With Spider Diagrams
An important aim of diagrammatic reasoning is to make it easier for people to create and understand logical arguments. We have worked on spider diagrams, which visually express log...
Jean Flower, Judith Masthoff, Gem Stapleton
VMV
2008
110views Visualization» more  VMV 2008»
13 years 10 months ago
Delocalized Unsteady Vortex Region Detectors
In this paper we discuss generalizations of instantaneous, local vortex criteria. We incorporate information on spatial context and temporal development into the detection process...
Raphael Fuchs, Ronald Peikert, Filip Sadlo, Bilal ...
BIS
2006
144views Business» more  BIS 2006»
13 years 10 months ago
Complexity Metrics for business Process Models
Abstract. Business process models, often modelled using graphical languages like UML, serve as a base for communication between the stakeholders in the software development process...
Ralf Laue, Volker Gruhn
SIGMOD
2008
ACM
98views Database» more  SIGMOD 2008»
13 years 8 months ago
Scaleability and immortality
James Nicholas Gray's understanding and experimentation gave him a special perspective. From 1995 his commitment was building indefinitely scalable tools by working on really...
Gordon Bell
ISBI
2006
IEEE
14 years 9 months ago
A flexible framework for Web interfaces to image databases: supporting user-defined ontologies and links to external databases
Vocabularies to describe research findings are needed to effectively use scientific databases. As understanding of data evolves, scientists need tools for extending the vocabulari...
Josiah Johnston, Arpun Nagaraja, Harry Hochheiser,...