4693 search results - page 513 / 939 » Verifying Hybrid Systems |
192
click to vote
IFL
2003
Springer
16 years 6 days ago
2003
Springer
Abstract. We present a new shell that provides the full basic functionality of a strongly typed lazy functional language, including overloading. The shell can be used for manipulat...
202
Voted
VISUALIZATION
2002
IEEE
15 years 12 months ago
2002
IEEE
While many methods exist for visualising scalar and vector data, visualisation of tensor data is still troublesome. We present a method for visualising second order tensors in thr...
197
click to vote
HAIS
2009
Springer
15 years 11 months ago
2009
Springer
This paper presents a novel stochastic optimization approach to solve constrained economic load dispatch (ELD) problem using Hybrid Bacterial Foraging-Differential Evolution optimi...
188
click to vote
CIKM
2009
Springer
15 years 11 months ago
2009
Springer
Traditional routing indices in peer-to-peer (P2P) networks are mainly designed for document retrieval applications and maintain aggregated one-dimensional values representing the ...
205
click to vote
BMCBI
2010
15 years 7 months ago
2010
Background: The development and simulation of dynamic models of terpenoid biosynthesis has yielded a systems perspective that provides new insights into how the structure of this ...