315 search results - page 38 / 63 » Using Logic in the Generation of Referring Expressions |
233
click to vote
POPL
2008
ACM
16 years 2 months ago
2008
ACM
Self-adjusting computation enables writing programs that can automatically and efficiently respond to changes to their data (e.g., inputs). The idea behind the approach is to stor...
127
click to vote
ATAL
2005
Springer
15 years 7 months ago
2005
Springer
In this paper we combine existing work in the area of social laws with a framework for reasoning about knowledge in multi-agent systems. The unifying framework in which this is do...
111
click to vote
AIPS
2006
15 years 3 months ago
2006
Planning for partially observable, nondeterministic domains is a very signi cant and computationally hard problem. Often, reasonable assumptions can be drawn over expected/nominal...
117
click to vote
VLSID
2005
IEEE
16 years 2 months ago
2005
IEEE
Abstract-- We present two-dimensional (space/time) compression techniques that reduce test data volume and test application time for scan testing of intellectual property (IP) core...
112
click to vote
VLSID
2008
IEEE
16 years 2 months ago
2008
IEEE
Protocol conversion involves the use of a converter to control communication between two or more protocols such that desired system-level specifications can be satisfied. We invest...