4067 search results - page 355 / 814 » Programs for Applying Symmetries |
201
click to vote
WCRE
2007
IEEE
16 years 1 months ago
2007
IEEE
The notion of functional or modular dependency is fundamental to understand the architecture and inner workings of any software system. In this paper, we propose to extend that no...
214
click to vote
ILP
2007
Springer
16 years 1 months ago
2007
Springer
In this chapter, we describe a view of statistical learning in the inductive logic programming setting based on kernel methods. The relational representation of data and background...
167
click to vote
SARA
2007
Springer
16 years 29 days ago
2007
Springer
In order to apply constraint programming to a particular domain, the problem must first be modelled as a constraint satisfaction problem. There are typically many alternative mode...
175
click to vote
VMCAI
2007
Springer
16 years 29 days ago
2007
Springer
We present a constraint-based algorithm for the synthesis of invariants expressed in the combined theory of linear arithmetic and uninterpreted function symbols. Given a set of pro...
162
click to vote
WG
2007
Springer
16 years 29 days ago
2007
Springer
Modularity is a recently introduced quality measure for graph clusterings. It has immediately received considerable attention in several disciplines, and in particular in the compl...