9382 search results - page 1852 / 1877 » A Functional Model for Data Analysis |
162
click to vote
SIGMOD
2009
ACM
15 years 11 months ago
2009
ACM
Cell phones are increasingly being used as common clients for a wide suite of distributed, database-centric healthcare applications in developing regions. This is particularly tru...
118
click to vote
WCRE
2009
IEEE
15 years 5 months ago
2009
IEEE
—Much of modern software development consists of building on older changes. Older periods provide the structure (e.g., functions and data types) on which changes in future period...
104
click to vote
TPHOL
2009
IEEE
15 years 5 months ago
2009
IEEE
In this paper a general framework for separation logic inside the HOL theorem prover is presented. This framework is based on Abeparation Logic. It contains a model of an abstract,...
107
click to vote
MIDDLEWARE
2009
Springer
15 years 5 months ago
2009
Springer
Mobile phones are set to become the universal interface to online services and cloud computing applications. However, using them for this purpose today is limited to two configura...
91
Voted
CVPR
2007
IEEE
15 years 5 months ago
2007
IEEE
Energy-minimizing active contour models (snakes) have been proposed for solving many computer vision problems such as object segmentation, surface reconstruction, and object track...