1385 search results - page 180 / 277 » Natural Rewriting for General Term Rewriting Systems |
149
click to vote
IUI
2005
ACM
16 years 13 hour ago
2005
ACM
Finding the optimal teaching strategy for an individual student is difficult even for an experienced teacher. Identifying and incorporating multiple optimal teaching strategies fo...
144
click to vote
SIGIR
2005
ACM
16 years 10 hour ago
2005
ACM
Context influences the search process, but to date research has not definitively identified which aspects of context are the most influential for information retrieval, and thus a...
163
click to vote
GECCO
2005
Springer
15 years 12 months ago
2005
Springer
We introduce a clustering-based method of subpopulation management in genetic programming (GP) called Evolutionary Tree Genetic Programming (ETGP). The biological motivation behin...
151
click to vote
CCS
2004
ACM
15 years 12 months ago
2004
ACM
We propose a type and effect system for authentication protocols built upon a tagging scheme that formalizes the intended semantics of ciphertexts. The main result is that the val...
179
click to vote
MOBIHOC
2003
ACM
15 years 11 months ago
2003
ACM
This paper provides mobility estimation and prediction for a variant of GSM network which resembles an adhoc wireless mobile network where base stations and users are both mobile....