833 search results - page 73 / 167 » mc 2007 |
NIPS
1997
13 years 9 months ago
1997
A rich body of data exists showing that recollection of specific information makes an important contribution to recognition memory, which is distinct from the contribution of fam...
CAV
2007
Springer
14 years 2 months ago
2007
Springer
stractions from Proofs Ranjit Jhala1 Kenneth L. McMillan2 1 UC San Diego 2 Cadence Berkeley Laboratories We present a technique for using infeasible program paths to automatically ...
CVHI
2007
13 years 9 months ago
2007
: The I-Maestro project seeks to undertake research and a development in the field of Technology enhanced education within music. The authors as part of the project consortium are ...
ISCAPDCS
2004
13 years 9 months ago
2004
Protection of agent data state and partial results in mobile agent systems continues to draw research interest. Current solutions to integrity attacks are geared at detection of m...
ACL
1992
13 years 9 months ago
1992
It has been hypothesized that Tree Adjoining Grammar (TAG) is particularly well suited for sentence generation. It is unclear, however, how a sentence generation system based on T...