3273 search results - page 95 / 655 » types 2007 |
119
Voted
CCS
2007
ACM
15 years 10 months ago
2007
ACM
Keystroke typing characteristics is considered as one of the important biometric features that can be used to protect users against malicious attacks. In this paper we propose a s...
151
click to vote
LFCS
2007
Springer
15 years 10 months ago
2007
Springer
We introduce a natural deduction formulation for the Logic of Proofs, a refinement of modal logic S4 in which the assertion PA is replaced by [[s]]A whose intended reading is “s...
159
Voted
EXACT
2007
15 years 6 months ago
2007
A critical aspect of any explanation module is the set of user questions the system will be able to address. However, there has been relatively little work on listing and organizi...
144
click to vote
BMCBI
2006
15 years 4 months ago
2006
Background: Accurate methods for extraction of meaningful patterns in high dimensional data have become increasingly important with the recent generation of data types containing ...
108
Voted
ICALT
2007
IEEE
15 years 10 months ago
2007
IEEE
The article presents the PLExus prototype, a Personal Learning Environment based on the semantic technology of topic maps. Semantic-based navigation in e-learning will enable vari...