Sciweavers

2490 search results - page 168 / 498
» The Generalized Theory of Model Preference
Sort
View
AUSAI
2006
Springer
15 years 8 months ago
A Flexible Framework for SharedPlans
Abstract. SharedPlans is an agent teamwork model that provides a formalization of the conditions under which a group of agents has a collaborative plan. This paper describes a gene...
Minh Hoai Nguyen, Wayne Wobcke
HYBRID
2010
Springer
15 years 6 months ago
Identifiability of discrete-time linear switched systems
In this paper we study the identifiability of linear switched systems (LSSs ) in discrete-time. The question of identifiability is central to system identification, as it sets the...
Mihály Petreczky, Laurent Bako, Jan H. van ...
IWFM
1998
125views Formal Methods» more  IWFM 1998»
15 years 6 months ago
Mathematics for Formal Methods, a Proposal for Education Reform
It is widely recognized that there is a body of mathematics which is crucial to the underpinning of computer science, software engineering, and information and communications tech...
Mícheál Mac an Airchinnigh
ACL
1990
15 years 5 months ago
Licensing and Tree Adjoining Grammar in Government Binding Parsing
This paper presents an implemented, psychologicallyplausible parsing model for Government Binding theory grammars. I make use of two main ideas: (1) a generalization of the licens...
Robert Frank
ATAL
2010
Springer
15 years 5 months ago
When do markets with simple agents fail?
We consider (prediction) markets where myopic agents sequentially interact with an automated market maker. We show a broad negative result: by varying the order of participation, ...
Abraham Othman, Tuomas Sandholm