535 search results - page 55 / 107 » Do we need dependent types |
KBSE
2007
IEEE
14 years 2 months ago
2007
IEEE
Programmers commonly reuse existing frameworks or libraries to reduce software development efforts. One common problem in reusing the existing frameworks or libraries is that the...
WIOPT
2010
IEEE
13 years 6 months ago
2010
IEEE
—In distributed network settings, where nodes are not under the control of a single administrative entity, the fulfillment of fundamental network operations is heavily dependent...
CVPR
2006
IEEE
14 years 9 months ago
2006
IEEE
Image segmentation is a fundamental step in many computer vision applications. Generally, the choice of a segmentation algorithm, or parameterization of a given algorithm, is sele...
SIGMOD
2003
ACM
14 years 7 months ago
2003
ACM
Like HTML, many XML documents are resident on native file systems. Since XML data is irregular and verbose, the disk space and the network bandwidth are wasted. To overcome the ve...
MM
2006
ACM
14 years 1 months ago
2006
ACM
This paper presents a novel real-time, multi-modal biofeedback system for stoke patient therapy. The problem is important as traditional mechanisms of rehabilitation are monotonou...