1798 search results - page 141 / 360 » Generating presentation constraints from rhetorical structur... |
187
click to vote
CADE
2008
Springer
16 years 6 months ago
2008
Springer
We propose a procedure for automated implicit inductive theorem proving for equational specifications made of rewrite rules with conditions and constraints. The constraints are int...
140
click to vote
COGSCI
2002
15 years 6 months ago
2002
Goal-directed cognition is often discussed in terms of specialized memory structures like the "goal stack." The goal-activation model presented here analyzes goal-direct...
167
click to vote
ASPDAC
1995
ACM
15 years 10 months ago
1995
ACM
- In this paper, we present a new scheduling algorithms that generates area-efficient register transfer level datapaths with multiport memories. The proposed scheduling algorithm a...
179
click to vote
ICIAP
2003
ACM
16 years 6 months ago
2003
ACM
Today's mobile and wireless users access multimedia content from different types of networks and terminals. Content analysis plays a critical role in developing effective sol...
162
click to vote
SPATIALCOGNITION
2000
Springer
15 years 10 months ago
2000
Springer
We present an approach to spatial inference which is based on the procedural semantics of spatial relations. In contrast to qualitative reasoning, we do not use discrete symbolic m...