Sciweavers

478 search results - page 47 / 96
» Formal Modelling of Cognitive Interpretation
Sort
View
225
Voted
ICDE
2001
IEEE
159views Database» more  ICDE 2001»
16 years 4 months ago
Workflow and Process Synchronization with Interaction Expressions and Graphs
Current workflow management technology does not provide adequate means for inter-workflow coordination as concurrently executing workflows are considered completely independent. W...
Christian Heinlein
121
Voted
EJC
2003
15 years 4 months ago
A Theory of Signs for Database Semantics
The goal of this paper is to build a bridge from a certain intuitive conception of natural language communication, called the SLIM theory of language, to a technical approach, cal...
Roland Hausser
APPINF
2003
15 years 4 months ago
On the Three Forms of Non-deductive Inferences: Induction, Abduction, and Design
Induction and abduction are well known non-deductive inferences. We shall propose that design is also another form of non-deductive inference, and, based on Barwise and Seligmanâ€...
Makoto Kikuchi, Ichiro Nagasaka
113
Voted
CVPR
2006
IEEE
16 years 5 months ago
Context and Hierarchy in a Probabilistic Image Model
It is widely conjectured that the excellent ROC performance of biological vision systems is due in large part to the exploitation of context at each of many levels in a part/whole...
Ya Jin, Stuart Geman
ITNG
2008
IEEE
15 years 9 months ago
A Minimalist Visual Notation for Design Patterns and Antipatterns
Achieving a quality software system requires UML designers a good understanding of both design patterns and antipatterns. Unfortunately, UML models for real systems tend to be huge...
Demis Ballis, Andrea Baruzzo, Marco Comini