Sciweavers

3318 search results - page 383 / 664
» The Weak Instance Model
Sort
View
AOSE
2001
Springer
15 years 9 months ago
Bringing Coherence to Agent Conversations
In this paper, we present a social model for software agent conversations for action based on social commitments and their negotiation. We depart from the premises that conversati...
Roberto A. Flores, Robert C. Kremer
IEAAIE
2001
Springer
15 years 9 months ago
A New Approach in Object-Based Knowledge Representation: The AROM System
Abstract. This paper presents AROM, a new object-based knowledge representation system. AROM is original in two ways. Firstly, in addition to classes, knowledge representation in A...
Michel Page, Jérôme Gensel, Cé...
STOC
1997
ACM
111views Algorithms» more  STOC 1997»
15 years 8 months ago
The Swendsen-Wang Process Does Not Always Mix Rapidly
The Swendsen-Wang process provides one possible dynamics for the Qstate Potts model in statistical physics. Computer simulations of this process are widely used to estimate the ex...
Vivek Gore, Mark Jerrum
ER
1992
Springer
159views Database» more  ER 1992»
15 years 8 months ago
Meta Object Management and its Application to Database Evolution
In this paper, we address the problem of supporting more exibility on the schema of object-oriented databases. We describe a general framework based on an object-oriented data mode...
Markus Tresch, Marc H. Scholl
158
Voted
CAV
2006
Springer
133views Hardware» more  CAV 2006»
15 years 8 months ago
Antichains: A New Algorithm for Checking Universality of Finite Automata
We propose and evaluate a new algorithm for checking the universality of nondeterministic finite automata. In contrast to the standard algorithm, which uses the subset construction...
Martin De Wulf, Laurent Doyen, Thomas A. Henzinger...