Sciweavers

431 search results - page 79 / 87
» Visual representation of stochastic process algebra models
Sort
View
ICAI
2009
13 years 6 months ago
Expectancy-Based Robot Localization Through Context Evaluation
Agents that operate in a real-world environment have to process an abundance of information, which may be ambiguous or noisy. We present a method inspired by cognitive research tha...
Maria E. Niessen, Gert Kootstra, Sjoerd de Jong, T...
POPL
2010
ACM
14 years 6 months ago
Toward a Verified Relational Database Management System
We report on our experience implementing a lightweight, fully verified relational database management system (RDBMS). The functional specification of RDBMS behavior, RDBMS impleme...
Avraham Shinnar, Greg Morrisett, J. Gregory Malech...
APGV
2005
ACM
146views Visualization» more  APGV 2005»
14 years 2 months ago
A similarity-based approach to perceptual feature validation
Which object properties matter most in human perception may well vary according to sensory modality, an important consideration for the design of multimodal interfaces. In this st...
Theresa Cooke, Florian Steinke, Christian Wallrave...
ICIP
2005
IEEE
14 years 10 months ago
Learning hidden semantic cues using support vector clustering
This paper presents a method to infer hidden semantic cues by accumulating the knowledge learned from relevance feedback sessions. We propose to explicitly represent a semantic sp...
Jia-Wen Tung, Chiou-Ting Hsu
ICA
2007
Springer
13 years 10 months ago
Bayesian Estimation of Overcomplete Independent Feature Subspaces for Natural Images
In this paper, we propose a Bayesian estimation approach to extend independent subspace analysis (ISA) for an overcomplete representation without imposing the orthogonal constraint...
Libo Ma, Liqing Zhang