Sciweavers

605 search results - page 16 / 121
» Dynamic inference of abstract types
Sort
View
141
Voted
NECO
2007
127views more  NECO 2007»
15 years 3 months ago
Visual Recognition and Inference Using Dynamic Overcomplete Sparse Learning
We present a hierarchical architecture and learning algorithm for visual recognition and other visual inference tasks such as imagination, reconstruction of occluded images, and e...
Joseph F. Murray, Kenneth Kreutz-Delgado
119
Voted
AIMSA
2006
Springer
15 years 7 months ago
A Knowledge-Based Approach for Automatic Generation of Summaries of Behavior
Effective automatic summarization usually requires simulating asoning such as abstraction or relevance reasoning. In this paper we describe a solution for this type of reasoning in...
Martín Molina, Victor Flores
135
Voted
CIARP
2007
Springer
15 years 9 months ago
Dynamic Penalty Based GA for Inducing Fuzzy Inference Systems
Abstract. Fuzzy based models have been used in many areas of research. One issue with these models is that rule bases have the potential for indiscriminant growth. Inference system...
Tomás Arredondo Vidal, Félix V&aacut...
141
Voted
ICIW
2007
IEEE
15 years 7 months ago
Type-Based Static and Dynamic Website Verification
Abstract-- Maintaining large websites and verifying their semantic content is a difficult task. In this paper we propose a framework for syntactic validation, semantic verification...
Jorge Coelho, Mário Florido
126
Voted
ENTCS
2010
133views more  ENTCS 2010»
15 years 3 months ago
Towards Measurable Types for Dynamical Process Modeling Languages
Process modeling languages such as "Dynamical Grammars" are highly expressive in the processes they model using stochastic and deterministic dynamical systems, and can b...
Eric Mjolsness