677 search results - page 70 / 136 » Dependent Types from Counterexamples |
DIS
2009
Springer
14 years 7 months ago
2009
Springer
In this paper we aim at automatically adjusting the difficulty of computer games by clustering players into different types and supervised prediction of the type from short traces ...
JMLR
2010
14 years 4 months ago
2010
Classification problems with a very large or unbounded set of output categories are common in many areas such as natural language and image processing. In order to improve accurac...
169
click to vote
ICCV
2011
IEEE
13 years 7 months ago
2011
IEEE
We propose a novel tracking framework called visual tracker sampler that tracks a target robustly by searching for the appropriate trackers in each frame. Since the real-world trac...
BMCBI
2008
14 years 10 months ago
2008
Background: Amino acids responsible for structure, core function or specificity may be inferred from multiple protein sequence alignments where a limited set of residue types are ...
TASE
2008
IEEE
14 years 9 months ago
2008
IEEE
Concurrent engineering has been widely used in managing design projects to speed up the design process by concurrently performing multiple tasks. Since the progress of a design tas...