8760 search results - page 340 / 1752 » Modeling users of intelligent systems |
195
click to vote
TABLEAUX
2009
Springer
16 years 1 months ago
2009
Springer
base types and disallows lambda abstractions and quantifiers. We show that this fragment has the finite model property and that satisfiability can be decided with a terminating ...
206
click to vote
AIR
2005
15 years 6 months ago
2005
The scientific research in the area of computational mechanisms for trust and reputation in virtual societies is a recent discipline oriented to increase the reliability and perfor...
183
click to vote
IADIS
2003
15 years 8 months ago
2003
The problem of hypertext classification deals with objects possessing more complex information structure than the plain text has. Present hypertext classification systems show the...
175
click to vote
ICCTA
2007
IEEE
16 years 29 days ago
2007
IEEE
Population size plays a major role in determining the performance of any biometric authentication system, particularly when such systems are used for civilian applications. In thi...
198
click to vote
CI
2004
15 years 6 months ago
2004
Most of the research inthe area of expert finding focuses on creating and maintaining centralized directories of experts' profiles, which users can search on demand. However, ...