Sciweavers

5578 search results - page 661 / 1116
» Base Class Injection
Sort
View
195
Voted
GPCE
2003
Springer
16 years 2 days ago
Concept-Controlled Polymorphism
Concepts—sets of abstractions related by common requirements— have a central role in generic programming. This paper proposes a general framework for using concepts to control ...
Jaakko Järvi, Jeremiah Willcock, Andrew Lumsd...
200
Voted
HYBRID
2003
Springer
16 years 2 days ago
Estimation of Distributed Hybrid Systems Using Particle Filtering Methods
Abstract. Networked embedded systems are composed of a large number of components that interact with the physical world via a set of sensors and actuators, have their own computati...
Xenofon D. Koutsoukos, James Kurien, Feng Zhao
176
Voted
HYBRID
2003
Springer
16 years 2 days ago
On the Application of Hybrid Control to CPU Reservations
Abstract. An important class of soft real-time applications require dynamic allocation of computational resources in order to comply with their quality of service (QoS) requirement...
Luigi Palopoli, Luca Abeni, Giuseppe Lipari
202
Voted
HYBRID
2003
Springer
16 years 2 days ago
Model Checking LTL over Controllable Linear Systems Is Decidable
Abstract. The use of algorithmic verification and synthesis tools for hybrid systems is currently limited to systems exhibiting simple continuous dynamics such as timed automata o...
Paulo Tabuada, George J. Pappas
IBPRIA
2003
Springer
16 years 2 days ago
Comparison of Log-linear Models and Weighted Dissimilarity Measures
Abstract. We compare two successful discriminative classification algorithms on three databases from the UCI and STATLOG repositories. The two approaches are the log-linear model ...
Daniel Keysers, Roberto Paredes, Enrique Vidal, He...