4719 search results - page 809 / 944 » Spreadsheet functional programming |
124
click to vote
ICDM
2007
IEEE
15 years 7 months ago
2007
IEEE
Data discretization is defined as a process of converting continuous data attribute values into a finite set of intervals with minimal loss of information. In this paper, we prove...
139
click to vote
HIPEAC
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. On multi-core architectures with software-managed memories, effectively orchestrating data movement is essential to performance, but is tedious and error-prone. In this p...
137
click to vote
CAV
2004
Springer
15 years 6 months ago
2004
Springer
Predicate abstraction has been proved effective for verifying several infinite-state systems. In predicate abstraction, an abstract system is automatinstructed given a set of predi...
148
click to vote
COOPIS
2004
IEEE
15 years 6 months ago
2004
IEEE
Matching descriptions of user requirements against descriptions of service capabilities is crucial for the discovery of appropriate services for a given task. To improve the precis...
CSB
2004
IEEE
15 years 6 months ago
2004
IEEE
The ability to control gene expression during development in plants could be used for improving crop yields, resistance to disease, and environmental adaptability. It has been sug...