Sciweavers

1242 search results - page 139 / 249
» The Theory of Grammar Constraints
Sort
View
96
Voted
ICPR
2006
IEEE
16 years 1 months ago
Interacting Active Rectangles for Estimation of Intervertebral Disk Orientation
This paper presents a fast and efficient method to determine intervertebral disk orientation in a magnetic resonance (MR) image of the spine. The algorithm originates from active ...
Amer Abufadel, Gregory G. Slabaugh, Gozde B. Unal,...
126
Voted
WWW
2007
ACM
16 years 1 months ago
Bridging the gap between OWL and relational databases
Schema statements in OWL are interpreted quite differently from analogous statements in relational databases. If these statements are meant to be interpreted as integrity constrai...
Boris Motik, Ian Horrocks, Ulrike Sattler
96
Voted
STACS
2009
Springer
15 years 7 months ago
Enumerating Homomorphisms
The homomorphism problem for relational structures is an abstract way of formulating constraint satisfaction problems (CSP) and various problems in database theory. The decision ve...
Andrei A. Bulatov, Víctor Dalmau, Martin Gr...
103
Voted
TARK
2007
Springer
15 years 7 months ago
A flexible mechanism for dialogue design
In this paper is we apply insights from mechanism design to the design of agent interaction protocols. We show how this allows us a more flexible approach to the design of agent ...
Guido Boella, Jelle Gerbrandy, Joris Hulstijn
78
Voted
WOLLIC
2007
Springer
15 years 7 months ago
A Formal Calculus for Informal Equality with Binding
Abstract. In informal mathematical usage we often reason using languages with binding. We usually find ourselves placing capture-avoidance constraints on where variables can and c...
Murdoch Gabbay, Aad Mathijssen