Sciweavers

1893 search results - page 185 / 379
» Computational composites
Sort
View
91
Voted
DEBS
2009
ACM
15 years 7 months ago
Distributed agent environments in the Ambient Event Calculus
We study the development of distributed agent environments as distributed event-based systems specified in the Ambient Event Calculus (AEC). The AEC is a logic-based formalism th...
Stefano Bromuri, Kostas Stathis
CVPR
2011
IEEE
14 years 8 months ago
Recognition Using Visual Phrases
In this paper we introduce visual phrases, complex visual composites like “a person riding a horse”. Visual phrases often display significantly reduced visual complexity comp...
Ali Farhadi, Mohammad Amin Sadeghi
CHI
1994
ACM
15 years 4 months ago
Visual information seeking: tight coupling of dynamic query filters with starfield displays
This paper offers new principles for visual information seeking (VIS). A key concept is to support browsing, which is distinguished from familiar query composition and information...
Christopher Ahlberg, Ben Shneiderman
98
Voted
ICYCS
2008
IEEE
15 years 7 months ago
A Trust-Enabling Support for Goal-Based Services
Service-Oriented Computing allows new applications to be developed by using and/or combining services offered by different providers. In several cases a service needs sensitive in...
Luiz Olavo Bonino da Silva Santos, Luís Fer...
ENTCS
2008
110views more  ENTCS 2008»
15 years 23 days ago
Game-Based Probabilistic Predicate Abstraction in PRISM
ion in PRISM1 Mark Kattenbelt Marta Kwiatkowska Gethin Norman David Parker Oxford University Computing Laboratory, Oxford, UK Modelling and verification of systems such as communi...
Mark Kattenbelt, Marta Z. Kwiatkowska, Gethin Norm...