Sciweavers

454 search results - page 68 / 91
» Representation results for defeasible logic
Sort
View
BIRTHDAY
2005
Springer
14 years 2 months ago
Objective Bayesian Nets
I present a formalism that combines two methodologies: objective Bayesianism and Bayesian nets. According to objective Bayesianism, an agent’s degrees of belief (i) ought to sat...
Jon Williamson
ESOP
2004
Springer
14 years 2 months ago
Canonical Graph Shapes
Abstract. Graphs are an intuitive model for states of a (software) system that include pointer structures — for instance, object-oriented programs. However, a naive encoding resu...
Arend Rensink
ISCIS
2004
Springer
14 years 2 months ago
Semi-formal and Formal Models Applied to Flexible Manufacturing Systems
Abstract. Flexible Manufacturing Systems (FMSs) are adopted to process different goods in different mix ratios allowing firms to react quickly and efficiently to changes in produ...
Andrea Matta, Carlo A. Furia, Matteo Rossi
ICDAR
2003
IEEE
14 years 2 months ago
Graph Grammar Based Analysis System of Complex Table Form Document
Structure analysis of table form document is important because printed documents and also electronical documents only provide geometrical layout and lexical information explicitly...
Akira Amano, Naoki Asada
COSIT
1999
Springer
189views GIS» more  COSIT 1999»
14 years 1 months ago
A Formal Model of the Process of Wayfinding in Built Environments
Previous recent research on human wayfinding has focused primarily on mental representations rather than processes of wayfinding. This paper presents a formal model of some aspect...
Martin Raubal, Michael F. Worboys