17449 search results - page 515 / 3490 » Availability |
192
click to vote
TABLEAUX
2005
Springer
16 years 18 days ago
2005
Springer
The Intuitionistic Logic Theorem Proving (ILTP) Library provides a platfom for testing and benchmarking theorem provers for first-order intuitionistic logic. It includes a collect...
154
click to vote
TSD
2005
Springer
16 years 18 days ago
2005
Springer
Abstract. We report work on the mapping between the speech signal and articulatory trajectories from the MOCHA database. Contrasting previous works that used Neural Networks for th...
140
click to vote
UM
2005
Springer
16 years 18 days ago
2005
Springer
Stereotypes and clustering are some techniques for creating user models from user behavior. Yet, they possess important risks as users actions could be misinterpreted or users coul...
161
click to vote
UM
2005
Springer
16 years 18 days ago
2005
Springer
The accuracy of a user model usually depends on the amount and quality of information available on the user’s states of interest. An eye-tracker provides data detailing where a u...
197
click to vote
VLDB
2005
ACM
16 years 17 days ago
2005
ACM
Biological data management includes the traditional areas of data generation, acquisition, modelling, integration, and analysis. Although numerous academic biological data managem...