4493 search results - page 848 / 899 » A Knowledge Recommend System Based on User Model |
192
click to vote
UIST
1993
ACM
15 years 8 months ago
1993
ACM
This paper describes the VB2 architecture for the construction of three-dimensional interactive applications. The system's state and behavior are uniformly represented as a n...
166
click to vote
MM
2010
ACM
15 years 4 months ago
2010
ACM
This paper presents an interactive image segmentation framework which is ultra-fast and accurate. Our framework, termed "CO3", consists of three components: COupled repr...
132
click to vote
ATAL
2009
Springer
15 years 10 months ago
2009
Springer
A major challenge within open markets is the ability to satisfy service demand with an adequate supply of service providers, especially when such demand may be volatile due to cha...
157
click to vote
KBSE
2005
IEEE
15 years 9 months ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
146
click to vote
CADE
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. While there has been a great deal of work on the development of reasoning algorithms for expressive description logics, in most cases only Tbox reasoning is considered. I...