547 search results - page 40 / 110 » Teaching with technology, setting an example |
122
Voted
ECIR
2008
Springer
15 years 5 months ago
2008
Springer
Concept indexing in multimedia libraries is very useful for users searching and browsing but it is a very challenging research problem as well. Beyond the systems' implementat...
115
click to vote
IANDC
2008
15 years 4 months ago
2008
The main goal of this paper is to apply rewriting termination technology --enjoying a quite mature set of termination results and tools-- to the problem of proving automatically t...
126
click to vote
DATE
2006
IEEE
15 years 10 months ago
2006
IEEE
We present a modular and scalable approach for automatically extracting actual performance information from a set of FPGA-based architecture topologies. This information is used d...
136
click to vote
BPM
2008
Springer
15 years 5 months ago
2008
Springer
In the immediate aftermath of a disaster routine processes, even if specifically designed for such a situation, are not enacted blindly. Actions and processes rather adapt their be...
138
Voted
WWW
2004
ACM
16 years 4 months ago
2004
ACM
ReAgents are remotely executing agents that customize Web browsing for non-standard resource-limited clients. A reAgent is essentially a "one-shot" mobile agent that act...