2488 search results - page 164 / 498 » An improvement in formal verification |
126
click to vote
CASES
2007
ACM
15 years 5 months ago
2007
ACM
Embedded systems are often used in safety-critical environments. Thus, thorough testing of them is mandatory. A quite active research area is the automatic test-case generation fo...
105
Voted
IJCAI
1993
15 years 2 months ago
1993
agent-oriented system. We show the complexity to be linear time for one of these logics and polynomial time for another, thus providing encouraging results with respect to the prac...
134
click to vote
BMCBI
2007
15 years 1 months ago
2007
Background: Biomolecular networks dynamically respond to stimuli and implement cellular function. Understanding these dynamic changes is the key challenge for cell biologists. As ...
ICASSP
2008
IEEE
15 years 7 months ago
2008
IEEE
We investigate several feature normalization and scaling approaches for use in speaker verification based on support vector machines. We are particularly interested in methods th...
124
click to vote
CAV
2003
Springer
15 years 4 months ago
2003
Springer
Thispapergivesashort overviewofa model checking tool forreal-time systems. The modeling language are timed automata extended with concepts for modular modeling. The tool provides r...