3444 search results - page 540 / 689 » A Theory of Object-Oriented Design |
179
Voted
FOCS
1994
IEEE
15 years 11 months ago
1994
IEEE
We establish a nonlinear lower bound for halfplane range searching over a group. Specifically, we show that summing up the weights of n (weighted) points within n halfplanes requir...
184
Voted
ITC
1993
IEEE
15 years 11 months ago
1993
IEEE
ÐPseudoexhaustive testing of a combinational circuit involves applying all possible input patterns to all its individual output cones. The testing ensures detection of all detecta...
205
click to vote
LICS
1994
IEEE
15 years 11 months ago
1994
IEEE
The theory of cut-free sequent proofs has been used to motivate and justify the design of a number of logic programming languages. Two such languages, Prolog and its linear logic ...
169
Voted
ACMACE
2007
ACM
15 years 11 months ago
2007
ACM
We introduce an experimental setting to observe and measure the perception of facial expression performed by embodied conversational agents (ECAs). The experimental set-up enables...
172
Voted
ATAL
2007
Springer
15 years 11 months ago
2007
Springer
In this paper, we present a new protocol to address multilateral multi-issue negotiation in a cooperative context. We consider complex dependencies between multiple issues by mode...