8398 search results - page 1115 / 1680 » Optimal Software Testing |
174
click to vote
WWW
2008
ACM
16 years 8 months ago
2008
ACM
Finding the core members of a virtual community is an important problem in community analysis. Here we presented an simulated annealing algorithm to solve this problem by optimizi...
202
click to vote
WWW
2001
ACM
16 years 7 months ago
2001
ACM
WebQuilt is a web logging and visualization system that helps web design teams run usability tests (both local and remote) and analyze the collected data. Logging is done through ...
167
click to vote
CHI
2006
ACM
16 years 7 months ago
2006
ACM
Our research investigates notification qualities of different types of voices, moving toward interfaces that support optimal allocation of attention to maximize system utility. We...
184
click to vote
PADL
2010
Springer
16 years 4 months ago
2010
Springer
Abstract. We show how testing convertibility of two types in dependently typed systems can advantageously be implemented instead untyped normalization by evaluation, thereby reusin...
181
click to vote
CVPR
2010
IEEE
16 years 2 months ago
2010
IEEE
This paper introduces an approach for enabling existing multi-view stereo methods to operate on extremely large unstructured photo collections. The main idea is to decompose the c...