1445 search results - page 36 / 289 » Properties of state spaces and their applications |
143
click to vote
ICCD
2000
IEEE
16 years 3 months ago
2000
IEEE
el of abstraction by integrating a high-level estimation step. This results in a design loop which is tight led on high level of abstraction (called estimation loop in figure 1). ...
138
click to vote
EUROCAST
2007
Springer
15 years 10 months ago
2007
Springer
Most non-trivial applications use some form of input/output (I/O), such as network communication. When model checking such an application, a simple state space exploration scheme i...
137
click to vote
CICLING
2009
Springer
16 years 6 months ago
2009
Springer
Abstract. Language software applications encounter new words, e.g., acronyms, technical terminology, names or compounds of such words. In order to add new words to a lexicon, we ne...
165
click to vote
FLOPS
2006
Springer
15 years 9 months ago
2006
Springer
Functional reactive programming integrates dynamic dataflow with functional programming to offer an elegant and powerful model for expressing computations over time-varying values....
163
click to vote
IJCNN
2007
IEEE
16 years 13 days ago
2007
IEEE
Abstract— Hardware implementations of Spiking Neural Networks are numerous because they are well suited for implementation in digital and analog hardware, and outperform classic ...