Sciweavers

64 search results - page 5 / 13
» Intrinsic Representation: Bootstrapping Symbols from Experie...
Sort
View
PAMI
2006
99views more  PAMI 2006»
13 years 7 months ago
Symbolic Signatures for Deformable Shapes
Recognizing classes of objects from their shape is an unsolved problem in machine vision that entails the ability of a computer system to represent and generalize complex geometric...
Salvador Ruiz-Correa, Linda G. Shapiro, Marina Mei...
ATVA
2011
Springer
240views Hardware» more  ATVA 2011»
12 years 7 months ago
Self-Loop Aggregation Product - A New Hybrid Approach to On-the-Fly LTL Model Checking
We present the Self-Loop Aggregation Product (SLAP), a new hybrid technique that replaces the synchronized product used in the automata-theoretic approach for LTL model checking. T...
Alexandre Duret-Lutz, Kais Klai, Denis Poitrenaud,...
ATAL
2009
Springer
14 years 2 months ago
MABLE: a framework for learning from natural instruction
The Modular Architecture for Bootstrapped Learning Experiments (MABLE) is a system that is being developed to allow humans to teach computers in the most natural manner possible: ...
Roger Mailler, Daniel Bryce, Jiaying Shen, Ciaran ...
BIS
2010
246views Business» more  BIS 2010»
13 years 8 months ago
On the Cognitive Effectiveness of Routing Symbols in Process Modeling Languages
Abstract. Process models provide visual support for analyzing and improving complex organizational processes. In this paper, we discuss differences of process modeling languages us...
Kathrin Figl, Jan Mendling, Mark Strembeck, Jan Re...
ICASSP
2008
IEEE
14 years 1 months ago
Phase singularities for image representation and matching
Phase features are widely used in image processing and representation due to their stability to deformation and noise [1, 2]. However, phase singularities,where the signals vanish...
Yu Qiao, Wei Wang, Nobuaki Minematsu, Jianzhuang L...