Sciweavers

1712 search results - page 52 / 343
» A Computational Approach to Binding Theory
Sort
View
ECAI
2006
Springer
15 years 3 months ago
A Logic-Based Framework to Compute Pareto Agreements in One-Shot Bilateral Negotiation
Abstract. We propose a logic-based approach to automated oneshot multi-issue bilateral negotiation. We use logic in two ways: (1) a logic theory to represent relations among issues...
Azzurra Ragone, Tommaso Di Noia, Eugenio Di Sciasc...
PROCEDIA
2010
89views more  PROCEDIA 2010»
14 years 10 months ago
Computing for construal: an exploratory study of desert ant navigation
The study of ant navigation is a rich source of empirical data and speculative theories that has been well-documented in the scientific literature. We describe and illustrate how ...
Daniel Keer, Steve Russ, Meurig Beynon
DIGRA
2005
Springer
15 years 5 months ago
Theory as Game: Designing the Game Game
Is there a way to analyze games by the means of a game? Is there a way to brainstorm game ideas and design solutions through theory? Finnish scholar and game designer Aki Järvine...
Aki Järvinen
DNA
2009
Springer
145views Bioinformatics» more  DNA 2009»
15 years 6 months ago
Distributed Agreement in Tile Self-assembly
Abstract. Laboratory investigations have shown that a formal theory of fault-tolerance will be essential to harness nanoscale self-assembly as a medium of computation. Several rese...
Aaron Sterling
NSPW
2004
ACM
15 years 5 months ago
Property-based attestation for computing platforms: caring about properties, not mechanisms
Over the past years, the computing industry has started various initiatives announced to increase computer security by means of new hardware architectures. The most notable effort...
Ahmad-Reza Sadeghi, Christian Stüble