4460 search results - page 695 / 892 » Formal methods for interactive systems |
116
click to vote
ISMIS
2009
Springer
15 years 11 months ago
2009
Springer
Many clustering methods are based on flat descriptions, while data regarding real-world domains include heterogeneous objects related to each other in multiple ways. For instance,...
130
Voted
HAPTICS
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper presents an external camera method for measuring fingertip forces by imaging the fingernail and surrounding skin. This method is an alternative to the photoplethysmog...
131
click to vote
LAWEB
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper presents and compares two methods for evaluating the syntactic similarity between documents. The first method uses the Patricia tree, constructed from the original doc...
152
click to vote
SIGIR
2008
ACM
15 years 4 months ago
2008
ACM
Collaborative Filtering (CF) requires user-rated training examples for statistical inference about the preferences of new users. Active learning strategies identify the most infor...
152
click to vote
IFL
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. This paper considers the use of dependent types to capture information about dynamic resource usage in a static type system. Dependent types allow us to give (explicit) p...