Sciweavers

5964 search results - page 361 / 1193
» A theory of speculative computation
Sort
View
198
Voted
AUTOMATICA
2005
169views more  AUTOMATICA 2005»
15 years 7 months ago
Analysis of input-to-state stability for discrete time nonlinear systems via dynamic programming
This paper presents novel analysis results for input-to-state stability (ISS) that utilise dynamic programming techniques to characterise minimal ISS gains and transient bounds. Th...
Shoudong Huang, Matthew R. James, Dragan Nesic, Pe...
221
Voted
AUTOMATICA
2002
95views more  AUTOMATICA 2002»
15 years 7 months ago
Series expansions for analytic systems linear in control
This paper presents a series expansion for the evolution of a class of nonlinear systems characterized by constant input vector fields. We present a series expansion that can be c...
Francesco Bullo
188
Voted
FUIN
2002
100views more  FUIN 2002»
15 years 7 months ago
UPSILON: Universal Programming System with Incomplete Lazy Object Notation
This paper presents a new model of computation that differs from prior models in that it emphasizes data over flow control, has no named variables and has an object-oriented flavo...
Brian Postow, Kenneth W. Regan, Carl H. Smith
STORYTELLING
2005
Springer
16 years 1 months ago
Formal Encoding of Drama Ontology
The goal of this research is to lay the foundations for a formal theory , that abstracts from the procedural and interactive aspects involved in the generation of dramatic content....
Rossana Damiano, Vincenzo Lombardo, Antonio Pizzo
ATAL
2003
Springer
16 years 23 days ago
Risk-averse auction agents
Auctions are an important means for purchasing material in the era of e-commerce. Research on auctions often studies them in isolation. In practice, however, auction agents are pa...
Yaxin Liu, Richard Goodwin, Sven Koenig