3527 search results - page 427 / 706 » Test Automation in Practice |
143
click to vote
CAV
2004
Springer
15 years 9 months ago
2004
Springer
Bounded Model Checking, although complete in theory, has been thus far limited in practice to falsification of properties that were not invariants. In this paper we propose a term...
144
click to vote
DSMML
2004
Springer
15 years 9 months ago
2004
Springer
The informative vector machine (IVM) is a practical method for Gaussian process regression and classification. The IVM produces a sparse approximation to a Gaussian process by com...
125
Voted
FQAS
2004
Springer
15 years 9 months ago
2004
Springer
With the fast growing speech technologies, the world is emerging to a new speech era. Speech recognition has now become a practical technology for real world applications. While so...
122
click to vote
HYBRID
2004
Springer
15 years 9 months ago
2004
Springer
In this paper we consider the generalization of the classical notion of nonholonomy of smooth constraints in analytical mechanics, to a substantially wider set of systems, allowing...
118
click to vote
HICSS
2003
IEEE
15 years 9 months ago
2003
IEEE
The objective of this research is to test a model of electronic procurement (e-procurement) adoption behavior by Small- to Medium-sized Enterprises (SME). We investigate the pheno...