485 search results - page 62 / 97 » A Hybrid Approach for User Profiling |
TAP
2007
Springer
14 years 2 months ago
2007
Springer
We present a new automatic test generation method for JAVA CARD based on attempts at formal verification of the implementation under test (IUT). Self-contained unit tests in JUnit...
IEAAIE
2004
Springer
14 years 1 months ago
2004
Springer
During the design of storm drainage system, many decisions are involved on the basis of rules of thumb, heuristics, judgment, code of practice and previous experience of the design...
UAI
1996
13 years 9 months ago
1996
In this paper we propose a family of algorithms combining treeclustering with conditioning that trade space for time. Such algorithms are useful for reasoning in probabilistic and...
CG
1999
Springer
13 years 7 months ago
1999
Springer
Many Augmented Reality applications require accurate tracking. Existing tracking techniques require prepared environments to ensure accurate results. This paper motivates the need...
ACL
2010
13 years 6 months ago
2010
This paper describes the KomParse system, a natural-language dialog system in the three-dimensional virtual world Twinity. In order to fulfill the various communication demands be...