5787 search results - page 740 / 1158 » Generic User Modeling Systems |
190
Voted
CICLING
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. In order to extend the application domain of natural language interfaces to more realistic tasks without the decrease of user’s performance, it is desirable for users t...
155
click to vote
ER
2004
Springer
16 years 5 days ago
2004
Springer
This paper uses a knowledge-based approach to querying heterogeneous spatial databases based on an ontology and conceptual and attribute similarities. The ontology, which may be in...
208
click to vote
SEKE
1995
Springer
15 years 10 months ago
1995
Springer
The development of a large information system is generally regarded as one of the most complex activities undertaken by organizations and it is dependent on the communication and u...
166
Voted
JCS
2008
15 years 6 months ago
2008
Controlled Query Evaluation (CQE) defines a logical framework to protect confidential information in a database. By modeling a user's a priori knowledge appropriately, a CQE ...
316
click to vote
FROCOS
2011
Springer
14 years 6 months ago
2011
Springer
Abstract. Isabelle/HOL is a popular interactive theorem prover based on higherorder logic. It owes its success to its ease of use and powerful automation. Much of the automation is...