12487 search results - page 1902 / 2498 » Graspable Work Modeling |
230
click to vote
PPDP
2007
Springer
16 years 1 months ago
2007
Springer
We give a novel transformation for proving termination of higher-order rewrite systems in the format of Inductive Data Type Systems (IDTSs) by Blanqui, Jouannaud and Okada. The tr...
196
click to vote
TAMC
2007
Springer
16 years 1 months ago
2007
Springer
In previous work we have introduced an average-case measure for the time complexity of Boolean circuits – that is the delay between feeding the input bits into a circuit and the ...
232
click to vote
TSD
2007
Springer
16 years 1 months ago
2007
Springer
The world wide web is a natural setting for cross-lingual information retrieval. The European Union is a typical example of a multilingual scenario, where multiple users have to de...
193
click to vote
ICALT
2006
IEEE
16 years 1 months ago
2006
IEEE
Vicarious Learning is learning from watching others learn. We believe that this is a powerful model for computer-based learning. Learning episodes can be captured and replayed to ...
192
click to vote
ICDE
2006
IEEE
16 years 1 months ago
2006
IEEE
— Web usage mining exploits data mining techniques to discover valuable information from navigation behavior of World Wide Web (WWW) users. The required information is captured b...