55 search results - page 9 / 11 » Interactive Ontology-Based User Knowledge Acquisition: A Cas... |
BIRTHDAY
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. Loops and other unbound control structures constitute a major bottleneck in formal software verification, because correctness proofs over such control structures generall...
SASO
2008
IEEE
15 years 4 months ago
2008
IEEE
Truly ubiquitous computing poses new and significant challenges. A huge number of heterogeneous devices will interact to perform complex distributed tasks. One of the key aspects...
ACMDIS
2004
ACM
15 years 3 months ago
2004
ACM
We elaborate a proposal for capturing, extending, and reusing design knowledge gleaned through usability testing. The proposal is specifically targeted to address interface design...
114
click to vote
VIS
2009
IEEE
15 years 11 months ago
2009
IEEE
In this paper we describe a novel method to integrate interactive visual analysis and machine learning to support the insight generation of the user. The suggested approach combine...
ATAL
2003
Springer
15 years 2 months ago
2003
Springer
A referral system is a multiagent system whose member agents are capable of giving and following referrals. The specific cases of interest arise where each agent has a user. The ...