1389 search results - page 32 / 278 » Lightweight dependent classes |
104
click to vote
DEXA
2009
Springer
15 years 9 months ago
2009
Springer
In this article we define a new type of integrity constraint in XML, called an XML inclusion constraint (XIND), and show that it extends the semantics of a relational inclusion de...
112
click to vote
ICPR
2004
IEEE
16 years 3 months ago
2004
IEEE
A measure of stability for a wide class of pattern recognition algorithms is introduced to cope with overfitting in classification problems. Based on this concept, constructive me...
103
click to vote
CADE
2009
Springer
16 years 3 months ago
2009
Springer
Current techniques and tools for automated termination analysis of term rewrite systems (TRSs) are already very powerful. However, they fail for algorithms whose termination is ess...
103
Voted
CADE
2008
Springer
16 years 2 months ago
2008
Springer
In this paper, we present a variant of the dependency pair method for analysing runtime complexities of term rewrite systems automatically. This method is easy to implement, but si...
110
Voted
ICSE
2004
IEEE-ACM
16 years 2 months ago
2004
IEEE-ACM
An approach to software development is sketched in which problem structuring is separated from software architecture. The problem is decomposed into subproblems of familiar classes...