2686 search results - page 211 / 538 » Testing metric properties |
189
click to vote
IJCSA
2007
15 years 6 months ago
2007
Timed Concurrent State Machines are an application of Alur’s Timed Automata concept to coincidence-based (rather than interleaving) CSM modeling technique. TCSM support the idea...
170
click to vote
INTEGRATION
1998
15 years 6 months ago
1998
An increasing part of microelectronic systems is implemented on the basis of predesigned and preverified modules, so-called cores, which are reused in many instances. Core-provide...
176
click to vote
ECIR
2011
Springer
14 years 10 months ago
2011
Springer
Feature selection plays a vital role in text categorisation. A range of different methods have been developed, each having unique properties and selecting different features. We ...
162
click to vote
IVA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Virtual humans are employed in many interactive applications, including (serious) games. Their motion should be natural and allow interaction with its surroundings and ot...
154
click to vote
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
We define a robust fault model as a model where the existence of an undetectable fault implies the existence of logic redundancy, or more generally, a suboptimality in the synthe...