6155 search results - page 1141 / 1231 » A language for multiple models of computation |
182
click to vote
PODS
2008
ACM
16 years 6 months ago
2008
ACM
We revisit the classical chase procedure, studying its properties as well as its applicability to standard database problems. We settle (in the negative) the open problem of decid...
170
click to vote
GI
2007
Springer
16 years 10 days ago
2007
Springer
: State-of-the-art interoperability between heterogeneous systems on a technical level builds on services oriented architectures (SOA) for a given problem space. Semantics can be i...
152
click to vote
ICALP
2005
Springer
15 years 11 months ago
2005
Springer
In this paper we initiate the study of discrete random variables over domains. Our work is inspired by work of Daniele Varacca, who devised indexed valuations as models of probabi...
171
click to vote
ICMI
2003
Springer
15 years 11 months ago
2003
Springer
Gesture recognition is becoming a more common interaction tool in the fields of ubiquitous and wearable computing. Designing a system to perform gesture recognition, however, can...
159
click to vote
ICDCS
1990
IEEE
15 years 10 months ago
1990
IEEE
The underlying model of distributed systems is that of loosely coupled components r running in parallel and communicating by message passing. Description, construction and evoluti...