8582 search results - page 140 / 1717 » Here or There |
168
click to vote
ICTAI
2003
IEEE
15 years 11 months ago
2003
IEEE
In bioinformatics, biochemical pathways can be modeled by many differential equations. It is still an open problem how to fit the huge amount of parameters of the equations to the...
131
click to vote
ISCAS
2003
IEEE
15 years 11 months ago
2003
IEEE
A closed form expression for the rise time of a gate driving a distributed RLC line is introduced that is within 8% of dynamic circuit simulations for a wide range of RLC loads. I...
166
click to vote
CAEPIA
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. In this paper, some new approaches to training set size reduction are presented. These schemes basically consist of defining a small number of prototypes that represent ...
161
click to vote
CAISE
2003
Springer
15 years 11 months ago
2003
Springer
Meta-models and Generic models have been built in the area of Information Systems to facilitate the task of system designers. It de-emphasises the view under which applications are...
163
click to vote
CAV
2003
Springer
15 years 11 months ago
2003
Springer
In previous work, we showed how structural information can be used to efficiently generate the state-space of asynchronous systems. Here, we apply these ideas to symbolic CTL model...