2934 search results - page 236 / 587 » Universality in Multi-Agent Systems |
225
click to vote
ATVA
2011
Springer
14 years 6 months ago
2011
Springer
Abstract. In the traditional Boolean setting of formal verification, alternating automata are the key to many algorithms and tools. In this setting, the correspondence between dis...
171
click to vote
ISMIR
2001
Springer
15 years 11 months ago
2001
Springer
Among other factors, high complexity and mandatory expert computer knowledge make many music IR and music analysis systems unsuitable for the majority of largely computer-illitera...
156
click to vote
EDBTW
2010
Springer
16 years 1 months ago
2010
Springer
Published data is prone to privacy attacks. Sanitization methods aim to prevent these attacks while maintaining usefulness of the data for legitimate users. Quantifying the trade-...
171
click to vote
CANDC
2009
ACM
16 years 1 months ago
2009
ACM
Whenever we feel those ‘higher’ and hard to define sensations like synchronicity, love, wholeness, and appreciation is this a pattern or illuminative system that is part of a ...
274
click to vote
CVPR
2012
IEEE
13 years 9 months ago
2012
IEEE
The launch of Xbox Kinect has built a very successful computer vision product and made a big impact to the gaming industry; this sheds lights onto a wide variety of potential appl...