4493 search results - page 513 / 899 » A Knowledge Recommend System Based on User Model |
148
click to vote
COST
2008
Springer
15 years 8 months ago
2008
Springer
Articulatory synthesis of speech and singing aims for modeling the production process of speech and singing as human-like or natural as possible. The state of the art is described ...
229
click to vote
CCS
2010
ACM
15 years 7 months ago
2010
ACM
Models based on system calls are a popular and common approach to characterize the run-time behavior of programs. For example, system calls are used by intrusion detection systems...
212
click to vote
TABLEAUX
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. Model checking is a technique for verifying that a finite-state concurrent system is correct with respect to its specification. In bounded model checking (BMC), the sys...
229
click to vote
ICTAI
2007
IEEE
16 years 1 months ago
2007
IEEE
We review a method of generating logical rules, or axioms, from empirical data. This method, using closed set properties of formal concept analysis, has been previously described ...
148
click to vote
CG
2004
Springer
15 years 6 months ago
2004
Springer
This paper describes a new virtual reality system designed to be small enough to be totally portable. It is a semiimmersive interaction system based on a movable stereoscopic proj...