1631 search results - page 51 / 327 » Extreme Programming - Back to Basics |
114
Voted
IDA
2000
Springer
15 years 2 months ago
2000
Springer
The discovery of characteristic rules is a well-known data mining task and has lead to several successful applications. However, because of the descriptive nature of characteristic...
195
Voted
DLS
2009
15 years 9 days ago
2009
Type inference and type reconstruction derive static types for program elements that have no static type associated with them. They have a wide range of usage, such as helping to ...
140
click to vote
LOPSTR
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. It has often been observed that a point-free style of programvides a more abstract view on programs. We aim to use the gain in abstraction to obtain a denotational semant...
124
click to vote
MEMOCODE
2006
IEEE
15 years 8 months ago
2006
IEEE
We present an efficient symbolic search algorithm for software model checking. The algorithm combines multiple symbolic representations to efficiently represent the transition r...
106
click to vote
ATAL
2008
Springer
15 years 4 months ago
2008
Springer
Forming effective coalitions is a major research challenge in the field of multi-agent systems. Central to this endeavour is the problem of partitioning the set of agents into exh...