Sciweavers

1644 search results - page 142 / 329
» Finding Dominators in Practice
Sort
View
IPMI
2007
Springer
14 years 9 months ago
Geometrically Proper Models in Statistical Training
In deformable model segmentation, the geometric training process plays a crucial role in providing shape statistical priors and appearance statistics that are used as likelihoods. ...
Qiong Han, Derek Merck, Josh Levy, Christina Villa...
PLDI
2009
ACM
14 years 9 months ago
A decision procedure for subset constraints over regular languages
Reasoning about string variables, in particular program inputs, is an important aspect of many program analyses and testing frameworks. Program inputs invariably arrive as strings...
Pieter Hooimeijer, Westley Weimer
RECOMB
2009
Springer
14 years 9 months ago
Searching Protein 3-D Structures in Linear Time
Finding similar structures from 3-D structure databases of proteins is becoming more and more important issue in the post-genomic molecular biology. To compare 3-D structures of tw...
Tetsuo Shibuya
CHI
2009
ACM
14 years 9 months ago
Friend or foe?: examining CAS use in mathematics research
Computer Algebra Systems (CAS) provide sophisticated functionality to assist with mathematical problem solving. Despite their widespread adoption, however, little work in the HCI ...
Andrea Bunt, Michael Terry, Edward Lank
SIGCSE
2009
ACM
169views Education» more  SIGCSE 2009»
14 years 9 months ago
The impact of instructor initiative on student learning: a tutoring study
In the quest to find instructional approaches that benefit student learning, engagement, and retention, evidence suggests providing students with hands-on practice is a worthwhile...
Kristy Elizabeth Boyer, Robert Phillips, Michael D...