4276 search results - page 378 / 856 » Techniques for Empirical Validation |
213
click to vote
MVA
2010
15 years 1 months ago
2010
Studying ancient inscriptions is based up to date mostly on observation and manual analysis by means of which epigraphists attempt to establish a geographical and chronological cla...
328
click to vote
VR
2011
IEEE
14 years 10 months ago
2011
IEEE
—Redirected walking (RDW) techniques allow people to walk in a larger virtual space than the physical extents of the laboratory. We describe two experiments conducted to investig...
297
click to vote
ICDE
2007
IEEE
16 years 8 months ago
2007
IEEE
Logical constraints, (e.g., 'phone numbers in toronto can have prefixes 416, 647, 905 only'), are ubiquitous in relational databases. Traditional integrity constraints, ...
149
click to vote
POPL
2010
ACM
16 years 4 months ago
2010
ACM
We present an automated technique for generating compiler optimizations from examples of concrete programs before and after improvements have been made to them. The key technical ...
192
click to vote
KDD
2009
ACM
16 years 7 months ago
2009
ACM
Topic models provide a powerful tool for analyzing large text collections by representing high dimensional data in a low dimensional subspace. Fitting a topic model given a set of...