2432 search results - page 224 / 487 » High-level approach to modeling of observed system behavior |
215
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
Todays, we assist to the explosive development of mobile computing devices like PDAs and cell-phones, the integration of embedded intelligence (like Web server) in more and more c...
147
click to vote
NECO
2007
15 years 6 months ago
2007
In a recent paper Prinz et al. (Nature Neurosci. 7, 1345-52 (2004)) have addressed the fundamental question, whether neural systems are built with a fixed blueprint of tightly con...
165
click to vote
ICASSP
2010
IEEE
15 years 6 months ago
2010
IEEE
A major challenge faced by a spoken term detection (STD) system is the detection of out-of-vocabulary (OOV) terms. Although a subword-based STD system is able to detect OOV terms,...
164
click to vote
CALCO
2005
Springer
16 years 2 days ago
2005
Springer
We propose a coalgebraic model of the Fusion calculus based on HD-automata. The main advantage of the approach is that the partition refinement algorithm designed for HD-automata ...
169
click to vote
COMPSAC
2005
IEEE
16 years 4 days ago
2005
IEEE
Two main issues need to be covered when dealing with the dependability of component-based systems: quality assurance of reusable software components and quality assurance of the a...