6020 search results - page 860 / 1204 » A New Approach to Model Counting |
167
click to vote
UIST
2003
ACM
15 years 12 months ago
2003
ACM
This paper presents a new GUI architecture for creating advanced interfaces. This model is based on a limited set of general principles that improve flexibility and provide capabi...
181
click to vote
ALS
2003
Springer
15 years 12 months ago
2003
Springer
This paper takes an overtly anticipatory stance to the understanding of animat learning and behavior. It analyses four major animal learning theories and attempts to identify the a...
170
click to vote
EUSAI
2003
Springer
15 years 12 months ago
2003
Springer
People meet in order to interact - disseminating information, making decisions, and creating new ideas. Automatic analysis of meetings is therefore important from two points of vie...
182
click to vote
GI
2003
Springer
15 years 12 months ago
2003
Springer
: Our current societies are fully dependent on large complex critical infrastructures (LCCIs). These LCCIs are large scale distributed systems that are highly interdependent, both ...
218
click to vote
AGP
2010
IEEE
15 years 11 months ago
2010
IEEE
We review the Italian contribution to proof-theoretic and higher-order extensions of logic programming; this originated from the realization that Horn clauses lacked standard abstr...