Sciweavers

887 search results - page 46 / 178
» Representing Systems with Hidden State
Sort
View
AGENTCL
2003
Springer
15 years 9 months ago
Nonmonotonic Commitment Machines
CHOPRA, AMIT KHUSHWANT. Nonmonotonic Commitment Machines. (Under the direction of Dr. Munindar P. Singh). Protocols in open and dynamic multiagent systems cannot be modeled via fo...
Amit K. Chopra, Munindar P. Singh
CADE
2008
Springer
16 years 4 months ago
Towards SMT Model Checking of Array-Based Systems
Abstract. We introduce the notion of array-based system as a suittraction of infinite state systems such as broadcast protocols or sorting programs. By using a class of quantified-...
Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, D...
EACL
1989
ACL Anthology
15 years 5 months ago
Dialog Control in a Natural Language System
In this paper a method for controlling the dialog in a natural language (NL) system is presented. It provides a deep modeling of information processing based on time dependent pro...
Michael Gerlach, Helmut Horacek
MDM
2001
Springer
148views Communications» more  MDM 2001»
15 years 9 months ago
An Agent-Based Architecture Using XML for Mobile Federated Database Systems
We advocate the use of agents to model a system that allows us to integrate and protect information stored in both mobile and fixed devices, while trying to preserve a consistent a...
Carlos Sánchez, Le Gruenwald
SCL
2010
87views more  SCL 2010»
15 years 3 months ago
Generating series for bilinear hybrid systems
In this paper we introduce the novel concept of a hybrid generating series and show that continuous state and output trajectories of bilinear hybrid systems can be described in te...
Mihály Petreczky, Jan H. van Schuppen