Sciweavers

949 search results - page 84 / 190
» Theory of Constraints
Sort
View
100
Voted
ISMIS
2003
Springer
15 years 6 months ago
Enacting an Agent-Based Digital Self in a 24x7 Web Services World
As broadband access to the Internet becomes pervasive, the need for a 24 hours a day, seven days a week (24x7) interface within the client devices, requires a level of sophisticati...
Steve Goschnick
125
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
78
Voted
WOLLIC
2007
Springer
15 years 6 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
101
Voted
FORMATS
2005
Springer
15 years 6 months ago
Reachability Problems on Extended O-Minimal Hybrid Automata
Within hybrid systems theory, o-minimal automata are often considered on the border between decidability and undecidability. In such classes of hybrid automata, the constraint of h...
Raffaella Gentilini
110
Voted
LPNMR
2005
Springer
15 years 6 months ago
Abduction and Preferences in Linguistics
Abstract. We associate optimality theory with abduction and preference handling. We present linguistic problems that appear in the study of dialects as new application of abduction...
Kathrin Konczak, Ralf Vogel