2335 search results - page 330 / 467 » Type Checking Type Classes |
111
Voted
LISA
2007
15 years 5 months ago
2007
Support for distributed application management in large-scale networked environments remains in its early stages. Although a number of solutions exist for subtasks of application ...
138
Voted
CVPR
2008
IEEE
15 years 4 months ago
2008
IEEE
A large variety of image features has been invented for detection of objects of a known class. We propose a framework to optimize the discrimination-efficiency tradeoff in integra...
131
Voted
BCSHCI
2008
15 years 4 months ago
2008
In this paper, we describe the design and evaluation of SMART, an educational system that uses augmented reality for teaching 2nd grade-level concepts, adequate and integrated wit...
119
Voted
DIMVA
2010
15 years 4 months ago
2010
Black-box web vulnerability scanners are a class of tools that can be used to identify security issues in web applications. These tools are often marketed as "point-and-click ...
120
Voted
IPCO
2010
15 years 4 months ago
2010
In a column-restricted covering integer program (CCIP), all the non-zero entries of any column of the constraint matrix are equal. Such programs capture capacitated versions of cov...