Sciweavers

4324 search results - page 728 / 865
» A Generalized Representer Theorem
Sort
View
124
Voted
ATAL
2010
Springer
15 years 5 months ago
A logical framework for prioritized goal change
Most previous logical accounts of goals do not deal with prioritized goals and goal dynamics properly. Many are restricted to achievement goals. In this paper, we develop a logica...
Shakil M. Khan, Yves Lespérance
CLEF
2010
Springer
15 years 5 months ago
It Was Easy, when Apples and Blackberries Were only Fruits
Ambiguities in company names are omnipresent. This is not accidental, companies deliberately chose ambiguous brand names, as part of their marketing and branding strategy. This pro...
Surender Reddy Yerva, Zoltán Miklós,...
154
Voted
GG
2010
Springer
15 years 5 months ago
On the Computation of McMillan's Prefix for Contextual Nets and Graph Grammars
In recent years, a research thread focused on the use of the unfolding semantics for verification purposes. This started with a paper by McMillan, which devises an algorithm for co...
Paolo Baldan, Alessandro Bruni, Andrea Corradini, ...
HUC
2010
Springer
15 years 5 months ago
Surprise trips: a system to augment the natural experience of exploration
Little treasures in nature often go unnoticed by visitors when roaming about in a national park. Ubiquitous technology with its less intrusive character may be apt to enhance this...
Matthias Korn, Raghid Kawash, Lisbet Andersen
GECCO
2008
Springer
201views Optimization» more  GECCO 2008»
15 years 5 months ago
Advanced techniques for the creation and propagation of modules in cartesian genetic programming
The choice of an appropriate hardware representation model is key to successful evolution of digital circuits. One of the most popular models is cartesian genetic programming, whi...
Paul Kaufmann, Marco Platzner