2446 search results - page 248 / 490 » Polyadic Concept Analysis |
156
click to vote
APLAS
2006
ACM
15 years 8 months ago
2006
ACM
Abstract. Static analyses calculate abstract states, and their logics validate properties of the abstract states. We place into perspective the variety of forwards, backwards, func...
143
click to vote
ICFP
2003
ACM
16 years 4 months ago
2003
ACM
A three-year study collected information bearing on the question of whether studying mathematics improves programming skills. An analysis of the data revealed significant differen...
163
click to vote
ALT
2003
Springer
16 years 1 months ago
2003
Springer
Solomonoff unified Occam’s razor and Epicurus’ principle of multiple explanations to one elegant, formal, universal theory of inductive inference, which initiated the field...
133
Voted
ICSM
2005
IEEE
15 years 10 months ago
2005
IEEE
In the work presented here, we introduce a method to automatically generate a subset of a UML class model based on a user-defined criterion. The goal of this work is to allow us to...
154
click to vote
ATAL
2008
Springer
15 years 7 months ago
2008
Springer
Coalitional games raise a number of important questions from the point of view of computer science, key among them being how to represent such games compactly, and how to efficien...