2377 search results - page 273 / 476 » Hybrid Systems in TLA |
149
click to vote
HAIS
2008
Springer
15 years 7 months ago
2008
Springer
The continuous advances in genomics, and specifically in the field of transcriptome, require novel computational solutions capable of dealing with great amounts of data. Each expre...
194
click to vote
KES
2006
Springer
15 years 6 months ago
2006
Springer
In this paper, we present the design, implementation and evaluation of HIGAS, a hybrid intelligent system that deals with diagnosis and treatment consultation of acid-base disturba...
100
click to vote
IJBC
2007
15 years 6 months ago
2007
In this paper we present a model of impact dynamics in large dimensional systems. We describe a hybrid method, based on graph theory and probability theory, which enables us quali...
159
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
This paper is concerned with the problem of computing the image of a set by a polynomial function. Such image computations constitute a crucial component in typical tools for set-b...
146
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
—Today verification, testing and debugging of SystemC models can be applied at an early stage in the design process. To support these techniques gaining required information of ...