Sciweavers

4143 search results - page 316 / 829
» A theory of distributed aspects
Sort
View
CVPR
1997
IEEE
15 years 11 months ago
Learning Generic Prior Models for Visual Computation
This paper presents a novel theory for learning generic prior models from a set of observed natural images based on a minimax entropy theory that the authors studied in modeling t...
Song Chun Zhu, David Mumford
ICDT
1997
ACM
74views Database» more  ICDT 1997»
15 years 11 months ago
Serializability of Nested Transactions in Multidatabases
Abstract. The correctness of nested transactions for multidatabases differs from that of at transactions in that, for nested transactions the execution order of siblings at each re...
Ugur Halici, Ismailcem Budak Arpinar, Asuman Dogac
ATAL
2007
Springer
15 years 10 months ago
Joint conversation specification and compliance
Formal specifications of protocol-oriented agent interactions have focused mainly on the semantics of the constituent agent communication language (ACL). We argue that a proper th...
Shamimabi Paurobally, Michael Wooldridge
ATAL
2006
Springer
15 years 10 months ago
Trust and honour in information-based agency
An argumentation based negotiation model is supported by information theory. Argumentative dialogues change the models of agents with respect to ongoing relationships between them...
Carles Sierra, John K. Debenham
BIRTHDAY
2006
Springer
15 years 10 months ago
Realistic Worst-Case Execution Time Analysis in the Context of Pervasive System Verification
We describe a gate level design of a FlexRay-like bus interface. An electronic control unit (ECU) is obtained by integrating this interface into the design of the verified VAMP pro...
Steffen Knapp, Wolfgang J. Paul