Sciweavers

6047 search results - page 699 / 1210
» Modeling with Extend
Sort
View
EKAW
2004
Springer
16 years 13 days ago
A Topic-Based Browser for Large Online Resources
The exploration of large information spaces is a difficult task, especially if the user is not familiar with the terminology used to describe information. Conceptual models of a do...
Heiner Stuckenschmidt, Anita de Waard, Ravinder Bh...
DEON
2010
Springer
15 years 12 months ago
Privacy Policies with Modal Logic: The Dynamic Turn
Abstract. Privacy policies are often defined in terms of permitted messages. Instead, in this paper we derive dynamically the permitted messages from static privacy policies defi...
Guillaume Aucher, Guido Boella, Leendert van der T...
ECAL
2007
Springer
15 years 11 months ago
Artificial Ecosystem Selection for Evolutionary Optimisation
Abstract. Artificial selection of microbial ecosystems for their collective function has been shown to be effective in laboratory experiments. In previous work, we used evolutionar...
Hywel T. P. Williams, Timothy M. Lenton
AAAI
2008
15 years 9 months ago
Bayesian Coalitional Games
We introduce Bayesian Coalitional Games1 (BCGs), a generalization of classical coalitional games to settings with uncertainties. We define the semantics of BCG using the partition...
Samuel Ieong, Yoav Shoham
CDES
2007
143views Hardware» more  CDES 2007»
15 years 8 months ago
Compiling a Mechanical Nanocomputer Adder
- Computer component fabrication is approaching physical limits of traditional photolithographic fabrication techniques. An alternative computer architecture may be enabled by the ...
Thomas Way, Tao Tao