1252 search results - page 176 / 251 » Minimizing Learned Clauses |
SIGCSE
2004
ACM
15 years 3 months ago
2004
ACM
A framework for producing dynamic data structure visualizations within the context of a lightweight IDE is described. Multiple synchronized visualizations of a data structure can ...
HUC
2004
Springer
15 years 3 months ago
2004
Springer
: Rich, structured annotations of video recordings enable interesting uses, but existing techniques for manual, and even semi-automated, tagging can be too time-consuming. We prese...
IJCNLP
2004
Springer
15 years 3 months ago
2004
Springer
The snapshot of a word means the most informative fragment of the word. By taking the snapshot instead of the whole, the value space of the lexical feature can be significantly r...
MM
2003
ACM
15 years 3 months ago
2003
ACM
We present similarity-based methods to cluster digital photos by time and image content. The approach is general, unsupervised, and makes minimal assumptions regarding the structu...
EH
2002
IEEE
15 years 2 months ago
2002
IEEE
This paper discusses approaches to cooperative coevolution of form and function for autonomous vehicles, specifically evolving morphology and control for an autonomous micro air v...