Sciweavers

188 search results - page 27 / 38
» On the Unification of Process Semantics: Observational Seman...
Sort
View
NIPS
2007
14 years 11 months ago
Predicting human gaze using low-level saliency combined with face detection
Under natural viewing conditions, human observers shift their gaze to allocate processing resources to subsets of the visual input. Many computational models try to predict such v...
Moran Cerf, Jonathan Harel, Wolfgang Einhäuse...
ICITA
2005
IEEE
15 years 3 months ago
Combining Diversity-Based Active Learning with Discriminant Analysis in Image Retrieval
Small-sample learning in image retrieval is a pertinent and interesting problem. Relevance feedback is an active area of research that seeks to find algorithms that are robust wi...
Charlie K. Dagli, ShyamSundar Rajaram, Thomas S. H...
FOSSACS
2004
Springer
15 years 2 months ago
Probabilistic Bisimulation and Equivalence for Security Analysis of Network Protocols
Abstract. Using a probabilistic polynomial-time process calculus designed for specifying security properties as observational equivalences, we develop a form of bisimulation that j...
Ajith Ramanathan, John C. Mitchell, Andre Scedrov,...
CW
2004
IEEE
15 years 1 months ago
Transforming Heterogeneous Product Concepts through Mapping Structures
An unfavourable phenomenon is observed: current electronic markets are fragmented and have formed a set of autonomously distributed product information islands. This leads to hete...
Jingzhi Guo, Chengzheng Sun, David Chen
ECAI
2006
Springer
15 years 1 months ago
Computational Opinions
Existing approaches to knowledge representation and reasoning in the context of open systems either deal with "objective" knowledge or with beliefs. In contrast, there ha...
Felix A. Fischer, Matthias Nickles