692 search results - page 51 / 139 » Some research questions for computational transportation sci... |
IUI
2006
ACM
15 years 4 months ago
2006
ACM
This paper describes a discussion-bot that provides answers to students’ discussion board questions in an unobtrusive and humanlike way. Using information retrieval and natural ...
105
click to vote
ICALP
1997
Springer
15 years 2 months ago
1997
Springer
In the 1980's, Bennett introduced computational depth as a formal measure of the amount of computational history that is evident in an object's structure. In particular,...
RTA
1998
Springer
15 years 2 months ago
1998
Springer
There is a close relationship between word unification and second-order unification. This similarity has been exploited for instance for proving decidability of monadic second-orde...
GG
2010
Springer
14 years 8 months ago
2010
Springer
Mesh subdivision algorithms are usually specified informally using graphical schemes defining local mesh refinements. These algorithms are then implemented efficiently in an impera...
EUROCRYPT
2007
Springer
15 years 4 months ago
2007
Springer
Protocols proven secure within the universal composability (UC) framework satisfy strong and desirable security properties. Unfortunately, it is known that within the “plain” m...