Sciweavers

3179 search results - page 320 / 636
» Applications of PCF Theory
Sort
View
EDUTAINMENT
2007
Springer
15 years 10 months ago
ISRST: An Interest Based Storytelling Model Using Rhetorical Relations
Most storytelling model approaches consider stories formed by sequences of a particular type of event. These sequences are mostly constructed using the inherent temporal characteri...
Arturo Nakasone, Mitsuru Ishizuka
123
Voted
HYBRID
2007
Springer
15 years 10 months ago
Case Studies in Event-Driven Control
Abstract. The majority of research in control engineering considers periodic or time-triggered control systems with equidistant sample intervals. However, practical cases abound in...
J. H. Sandee, W. P. M. H. Heemels, P. P. J. van de...
HYBRID
2007
Springer
15 years 10 months ago
Metrics and Topology for Nonlinear and Hybrid Systems
Abstract. This paper presents an approach to defining distances between nonlinear and hybrid dynamical systems based on formal power series theory. The main idea is that the input...
Mihály Petreczky, René Vidal
ICALP
2007
Springer
15 years 10 months ago
Co-Logic Programming: Extending Logic Programming with Coinduction
In this paper we present the theory and practice of co-logic programming (co-LP for brevity), a paradigm that combines both inductive and coinductive logic programming. Co-LP is a ...
Luke Simon, Ajay Bansal, Ajay Mallya, Gopal Gupta
128
Voted
ICCS
2007
Springer
15 years 10 months ago
Trikonic Inter-Enterprise Architectonic
There is a need for information, application, and other enterprise architectures which are robust and flexible enough to meet the challenges of today’s heterogeneous, rapidly cha...
Gary Richmond