1604 search results - page 52 / 321 » Development Separation in Lambda-Calculus |
ICSE
2004
IEEE-ACM
14 years 7 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...
PREMI
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. We develop a framework for parallel computation of the optimal rough set decision reducts from data. We adapt the island model for evolutionary computing. The idea is to ...
SNPD
2003
13 years 9 months ago
2003
With the advance of knowledge, new disciplines are succesively identified. Computer Science has its roots in Babbage and others, but was identified as a separate discipline duri...
INTERNET
2007
13 years 7 months ago
2007
Distributed computing has been slow to benefit from the productivity revolution that has transformed the desktop. We still treat the Web as a separate technology space: programmer...
JMLR
2010
13 years 2 months ago
2010
Hartigan's method for k-means clustering is the following greedy heuristic: select a point, and optimally reassign it. This paper develops two other formulations of the heuri...