119 search results - page 11 / 24 » Towards Automated Synthesis of Data Mining Programs |
ICFEM
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. Automated verification of memory safety and functional correctness for heap-manipulating programs has been a challenging task, especially when dealing with complex data ...
SAC
2004
ACM
15 years 5 months ago
2004
ACM
The relationship between doctors and their patients is gaining more and more importance in the health care providing. It determines the compliance of the treatment and a part of t...
104
click to vote
KDD
2007
ACM
16 years 1 days ago
2007
ACM
Studies have shown that program comprehension takes up to 45% of software development costs. Such high costs are caused by the lack-of documented specification and further aggrava...
108
click to vote
BMCBI
2006
14 years 11 months ago
2006
Background: Gene duplication events have played a significant role in genome evolution, particularly in plants. Exhaustive searches for all members of a known gene family as well ...
190
click to vote
GIS
2008
ACM
16 years 21 days ago
2008
ACM
The pervasiveness of location-acquisition technologies (GPS, GSM networks, etc.) enable people to conveniently log the location histories they visited with spatio-temporal data. T...