3389 search results - page 95 / 678 » Perspectives on system identification |
TABLEAUX
1998
Springer
14 years 7 days ago
1998
Springer
ple (Extended Abstract) Edmund M. Clarke and Sergey Berezin Carnegie Mellon University -- USA Model checking is an automatic verification technique for finite state concurrent syst...
GFKL
2006
Springer
13 years 11 months ago
2006
Springer
The present study concentrates on the relation between sentence length (SL) and word length (WL) as a possible factor in text classification. The dependence of WL and SL is discuss...
BCSHCI
2008
13 years 9 months ago
2008
Recently, there has been an increased awareness in the general public, in government and in business that people with disabilities and older people have distinct needs and prefere...
SPIESR
2004
13 years 9 months ago
2004
Visual information retrieval (VIR) is a research area with more than 300 scientific publications every year. Technological progress lets surveys become out of date within a short ...
ICIS
2000
13 years 9 months ago
2000
A considerable amount of research has already been conducted in the IT/IS evaluation arena, yet rewards remain elusive. This has been variously explained and in this paper we aim ...