1057 search results - page 135 / 212 » Testing from Formal Specifications, a Generic Approach |
KDD
2008
ACM
14 years 8 months ago
2008
ACM
The effectiveness of knowledge transfer using classification algorithms depends on the difference between the distribution that generates the training examples and the one from wh...
SIGIR
2002
ACM
13 years 7 months ago
2002
ACM
We propose a formal model of Cross-Language Information Retrieval that does not rely on either query translation or document translation. Our approach leverages recent advances in...
SERP
2003
13 years 9 months ago
2003
In the face of extensive attention form both the research community and the industry, traceability there still lacks of a supporting methodology that enables traceability througho...
CA
1999
IEEE
14 years 1 days ago
1999
IEEE
In this paper a new technique is introduced for automatically building recognisable moving 3D models of individual people. Realistic modelling of people is essential for advanced ...
HCI
2009
13 years 5 months ago
2009
Delivering tailor-made ERP software requires automation of screen and printed report creation to be cost effective. Screens generated directly from data structures tend to have poo...