Sciweavers

219 search results - page 19 / 44
» Using Spatial Relations for Graphical Symbol Description
Sort
View
AIEDAM
2002
100views more  AIEDAM 2002»
13 years 8 months ago
Drawing marks, acts, and reacts: Toward a computational sketching interface for architectural design
Architects use sketching and diagramming in their design process to perform functional reasoning, formal arrangements, analogy transfer, structure mapping, and knowledge acquisiti...
Ellen Yi-Luen Do
LICS
2006
IEEE
14 years 2 months ago
Provable Implementations of Security Protocols
for reasoning about abstract models of protocols. The work on informal methods attempts to discern common patterns in the extensive record of flawed protocols, and to formulate po...
Andrew D. Gordon
BMCBI
2008
124views more  BMCBI 2008»
13 years 8 months ago
A relation based measure of semantic similarity for Gene Ontology annotations
Background: Various measures of semantic similarity of terms in bio-ontologies such as the Gene Ontology (GO) have been used to compare gene products. Such measures of similarity ...
Brendan Sheehan, Aaron J. Quigley, Benoit Gaudin, ...
KI
2002
Springer
13 years 8 months ago
Formal Properties of Constraint Calculi for Qualitative Spatial Reasoning
In the previous two decades, a number of qualitative constraint calculi have been developed, which are used to represent and reason about spatial configurations. A common property...
Bernhard Nebel, Alexander Scivos
DIGRA
2003
Springer
14 years 1 months ago
Describing Games: An Interaction-Centric Structural Framework
We present a structural framework to describe games in terms of components. The components are divided into four major areas: meta-structure, bounding, narrative and objective. Th...
Staffan Björk, Jussi Holopainen