Sciweavers

7124 search results - page 234 / 1425
» Programming Languages and Operating Systems
Sort
View
APLAS
2008
ACM
15 years 8 months ago
Certified Reasoning in Memory Hierarchies
Abstract. Parallel programming is rapidly gaining importance as a vector to develop high performance applications that exploit the improved capabilities of modern computer architec...
Gilles Barthe, César Kunz, Jorge Luis Sacch...
ICAI
2010
15 years 4 months ago
A Programming Environment for Bousi-Prolog
BousiProlog is a fuzzy logic programming language which is an extension of the standard Prolog language. The BousiProlog operational semantics is an adaptation of the SLD resoluti...
Pascual Julián Iranzo, Clemente Rubio-Manza...
GECCO
2009
Springer
258views Optimization» more  GECCO 2009»
15 years 11 months ago
Evolutionary learning of local descriptor operators for object recognition
Nowadays, object recognition is widely studied under the paradigm of matching local features. This work describes a genetic programming methodology that synthesizes mathematical e...
Cynthia B. Pérez, Gustavo Olague
ACL
2003
15 years 8 months ago
A Spoken Dialogue Interface for TV Operations based on Data Collected by using WOZ Method
The development of multi-channel digital broadcasting has generated a demand not only for new services but also for smart and highly functional capabilities in all broadcast-relat...
Jun Goto, Yeun-Bae Kim, Masaru Miyazaki, Kazuteru ...
ICFP
1999
ACM
15 years 11 months ago
Specialization of Inductively Sequential Functional Logic Programs
Functional logic languages combine the operational principles of the most important declarative programming paradigms, namely functional and logic programming. Inductively sequent...
María Alpuente, Michael Hanus, Salvador Luc...