Sciweavers

4961 search results - page 304 / 993
» Homomorphism-Homogeneous Relational Structures
Sort
View
HIS
2009
15 years 2 months ago
Ontology-Supported Web Recommender for Scholar Information
In this quickly developed and shifting era of Internet, how to make use of webpage indexing structure or search engines which let information demanders fast and precisely search a...
Sheng-Yuan Yang, Chun-Liang Hsu
ICCSA
2009
Springer
15 years 2 months ago
Towards Guidelines for a Development Process for Component-Based Embedded Systems
Software is more and more built from pre-existing components. This is true also for the embedded software domain, and there is a need to consider how development processes need to ...
Rikard Land, Jan Carlson, Stig Larsson, Ivica Crnk...
ICIP
2009
IEEE
15 years 2 months ago
Overview of adaptive morphology: Trends and perspectives
In this paper we briefly overview emerging trends in `Adaptive Morphology', i.e. work related to the theory and/or applications of image analysis filters, systems, or algorit...
Petros Maragos, Corinne Vachier
AGI
2011
14 years 8 months ago
Systematically Grounding Language through Vision in a Deep, Recurrent Neural Network
Human intelligence consists largely of the ability to recognize and exploit structural systematicity in the world, relating our senses simultaneously to each other and to our cogni...
Derek Monner, James A. Reggia
APLAS
2011
ACM
14 years 4 months ago
Solving Recursion-Free Horn Clauses over LI+UIF
Verification of programs with procedures, multi-threaded programs, and higher-order functional programs can be effectively auusing abstraction and refinement schemes that rely o...
Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenk...