4324 search results - page 654 / 865 » A Generalized Representer Theorem |
193
click to vote
DIS
2009
Springer
16 years 1 months ago
2009
Springer
Motivated by the need for unification of the domain of data mining and the demand for formalized representation of outcomes of data mining investigations, we address the task of c...
151
click to vote
FMCAD
2009
Springer
16 years 1 months ago
2009
Springer
Abstract—Several successful approaches to software verificabased on the construction and analysis of an abstract reachability tree (ART). The ART represents unwindings of the co...
246
click to vote
FOSAD
2009
Springer
16 years 1 months ago
2009
Springer
We introduce the Open-source Fixed-point Model Checker OFMC for symbolic security protocol analysis, which extends the Onthe-fly Model Checker (the previous OFMC). The native inpu...
203
click to vote
GECCO
2009
Springer
16 years 1 months ago
2009
Springer
The concept of artificial evolution has been applied to numerous real world applications in different domains. In this paper, we use this concept in the domain of virology to ev...
154
click to vote
ICMI
2009
Springer
16 years 1 months ago
2009
Springer
In this paper, we investigate the multimodal nature of cell phone data in terms of discovering recurrent and rich patterns in people’s lives. We present a method that can discov...