4324 search results - page 519 / 865 » A Generalized Representer Theorem |
168
click to vote
AIME
2005
Springer
16 years 10 days ago
2005
Springer
Evidence-based clinical guidelines require frequent updates due to research and technology advances. The quality of guideline updates can be improved if the knowledge underlying th...
188
click to vote
ATAL
2005
Springer
16 years 10 days ago
2005
Springer
The behavior of an agent is defined through the specification of plans and actions. Agents have a set of plans that are selected to be executed according to their goals (and other...
164
click to vote
CAISE
2005
Springer
16 years 9 days ago
2005
Springer
Today ontology languages present a syntax which looks not “natural” and are lacking of built-in primitives (i.e., modeling notions) domain experts are familiar with. In this pa...
146
click to vote
CCS
2005
ACM
16 years 9 days ago
2005
ACM
The Framework of Selective Interleaving Functions and the Modular Assembly Kit for Security Properties both provide a basis for the uniform representation and formal analysis of n...
187
click to vote
CONCUR
2005
Springer
16 years 9 days ago
2005
Springer
We introduce two abstract models for multithreaded programs based on dynamic networks of pushdown systems. We address the problem of symbolic reachability analysis for these models...