4451 search results - page 306 / 891 » Continuous model synthesis |
175
click to vote
CSDA
2006
15 years 6 months ago
2006
A new procedure for estimating the mean process of a doubly stochastic Poisson process is introduced. The proposed estimation is based on monotone piecewise cubic interpolation of...
150
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Mobile devices, like sensor networks and MEMS actuators use mobile power supplies to ensure energy for their operation. These are mostly batteries. The lifetime of the devices dep...
151
click to vote
ITCC
2005
IEEE
16 years 8 days ago
2005
IEEE
In this paper we propose the double auction allocation model for grids, and three double auction protocols for resource allocation: Preston-McAfee Double Auction Protocol (PMDA), ...
147
click to vote
APN
2005
Springer
16 years 7 days ago
2005
Springer
In the framework of the study and analysis of new flight procedures, we propose a new Petri net-based formalism to represent both continuous and discrete evolutions and uncertaint...
158
click to vote
HYBRID
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. Hybrid cc is a constraint programming language suitable for modeling, controlling and simulating hybrid systems, i.e. systems with continuous and discrete state changes. ...