Sciweavers

953 search results - page 102 / 191
» Constraint Based Transformation Theory
Sort
View
WWW
2007
ACM
15 years 10 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
WOLLIC
2007
Springer
15 years 4 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
HYBRID
2004
Springer
15 years 3 months ago
Synthesis for Idle Speed Control of an Automotive Engine
Abstract. The problem of maintaining the crankshaft speed of an automotive engine within a given set interval (idle speed control), is formalized as a constrained control problem u...
Andrea Balluchi, Federico Di Natale, Alberto L. Sa...
ECCV
1994
Springer
15 years 1 months ago
Markov Random Field Models in Computer Vision
A variety of computer vision problems can be optimally posed as Bayesian labeling in which the solution of a problem is dened as the maximum a posteriori (MAP) probability estimate...
Stan Z. Li
SNPD
2003
14 years 11 months ago
Estimation of Multiple Motions by Block Matching
This paper deals with the problem of estimating multiple motions at points where these motions are overlaid. We present a new approach that is based on block matching and can deal...
Ingo Stuke, Til Aach, Erhardt Barth, Cicero Mota