1127 search results - page 184 / 226 » Theory Extension in ACL2(r) |
155
click to vote
ACTAC
1998
15 years 5 months ago
1998
In a semi-structured database there is no clear separation between the data and the schema, and the degree to which it is structured depends on the application. Semi-structured da...
197
click to vote
AAMAS
1999
Springer
15 years 5 months ago
1999
Springer
: Although avatars may resemble communicative interface agents, they have for the most part not profited from recent research into autonomous embodied conversational systems. In pa...
138
click to vote
JCB
1998
15 years 5 months ago
1998
We introduce a new model of molecular computation that we call the sticker model. Like many previous proposals it makes use of DNA strands as the physical substrate in which infor...
151
click to vote
TIP
1998
15 years 5 months ago
1998
This paper examines the relationship between wavelet-based image processing algorithms and variational problems. Algorithms are derived as exact or approximate minimizers of varia...
210
click to vote
SIGIR
2002
ACM
15 years 5 months ago
2002
ACM
tion Abstract ChengXiang Zhai (Advisor: John Lafferty) Language Technologies Institute School of Computer Science Carnegie Mellon University With the dramatic increase in online in...