2686 search results - page 263 / 538 » Testing metric properties |
173
click to vote
CIE
2008
Springer
15 years 8 months ago
2008
Springer
There are many ways to define complexity in logic. In finite model theory, it is the complexity of describing properties, whereas in proof complexity it is the complexity of provin...
152
click to vote
BCSHCI
2008
15 years 8 months ago
2008
This paper explores the impulsion and vibration properties of different tactile patterns (icons). These properties describe the unique movements of the pins with different values ...
132
Voted
LREC
2008
15 years 8 months ago
2008
The Italian particle ne exhibits interesting anaphoric properties that have not been yet explored in depth from a corpus and computational linguistic perspective. We provide: (i) ...
175
click to vote
FLAIRS
2001
15 years 8 months ago
2001
In this paper, we argue that KBS validation should not be limited to testing functional properties of the system, such as its input - output behavior, but must also address its dy...
193
click to vote
WISES
2003
15 years 8 months ago
2003
— With the increasing number of embedded computer systems being used in safety critical applications the testing and assessment of a system’s fault tolerance properties become ...