Sciweavers

4324 search results - page 418 / 865
» A Generalized Representer Theorem
Sort
View
TLDI
2003
ACM
108views Formal Methods» more  TLDI 2003»
16 years 3 days ago
Inferring annotated types for inter-procedural register allocation with constructor flattening
We introduce an annotated type system for a compiler intermediate language. The type system is designed to support inter-procedural register allocation and the representation of t...
Torben Amtoft, Robert Muller
GECCO
2003
Springer
126views Optimization» more  GECCO 2003»
16 years 2 days ago
Coevolution and Linear Genetic Programming for Visual Learning
In this paper, a novel genetically-inspired visual learning method is proposed. Given the training images, this general approach induces a sophisticated feature-based recognition s...
Krzysztof Krawiec, Bir Bhanu
KI
2009
Springer
15 years 11 months ago
Beyond Public Announcement Logic: An Alternative Approach to Some AI Puzzles
In the paper we present a dynamic model of knowledge. The model is inspired by public announcement logic and an approach to a puzzle concerning knowledge and communication using th...
Pawel Garbacz, Piotr Kulicki, Marek Lechniak, Robe...
LPNMR
2009
Springer
15 years 11 months ago
On Reductive Semantics of Aggregates in Answer Set Programming
Several proposals of the semantics of aggregates are based on different extensions of the stable model semantics, which makes it difficult to compare them. In this note, building ...
Joohyung Lee, Yunsong Meng
GW
1999
Springer
116views Biometrics» more  GW 1999»
15 years 11 months ago
Temporal Symbolic Integration Applied to a Multimodal System Using Gestures and Speech
Abstract. This paper presents a technical approach for temporal symbol integration aimed to be generally applicable in unimodal and multimodal user interfaces. It draws its strengt...
Timo Sowa, Martin Fröhlich, Marc Erich Latosc...