9405 search results - page 1417 / 1881 » Computing a Model of Set Theory |
147
click to vote
CHI
2009
ACM
16 years 1 months ago
2009
ACM
We present CThru, a self-guided video-based educational environment in a large multi-display setting. We employ a video-centered approach, creating and combining multimedia conten...
160
click to vote
SAC
2009
ACM
16 years 1 months ago
2009
ACM
Today user-centered information acquisition over collections of complex XML documents is increasingly in demand. To this end, preferences have become an important paradigm enablin...
176
click to vote
FOCS
2009
IEEE
16 years 1 months ago
2009
IEEE
— We present new combinatorial algorithms for Boolean matrix multiplication (BMM) and preprocessing a graph to answer independent set queries. We give the first asymptotic impro...
222
click to vote
SIBGRAPI
2009
IEEE
16 years 1 months ago
2009
IEEE
We have designed and implemented a multi-linear discriminant method of constructing and quantifying statistically significant changes on human identity photographs. The method is...
148
click to vote
ICPR
2010
IEEE
16 years 1 months ago
2010
IEEE
—A common problem in many areas of behavioral research is the analysis of the large volume of data recorded during the execution of the tasks being studied. Recent work has propo...