Sciweavers

1999 search results - page 63 / 400
» Finding Reductions Automatically
Sort
View
AAAI
2008
15 years 4 days ago
Towards Automatic Animated Storyboarding
In this paper, we propose a machine learning-based NLP system for automatically creating animated storyboards using the action descriptions of movie scripts. We focus particularly...
Patrick Ye, Timothy Baldwin
ICML
2006
IEEE
15 years 3 months ago
Automatic basis function construction for approximate dynamic programming and reinforcement learning
We address the problem of automatically constructing basis functions for linear approximation of the value function of a Markov Decision Process (MDP). Our work builds on results ...
Philipp W. Keller, Shie Mannor, Doina Precup
MVA
1996
123views Computer Vision» more  MVA 1996»
14 years 11 months ago
Automatic Configuration of Systems for Texture Analysis
Automatic visual inspection plays a growing role in today's efforts to reduce the costs of industrial production. Three to ten months of man power have to be invested for the...
Christian Küblbeck, Christoph Schittko, Thoma...
CIBCB
2009
IEEE
14 years 7 months ago
An automatic gene ontology software tool for bicluster and cluster comparisons
We propose an Automatic Gene Ontology (AGO) software as a flexible, open-source Matlab software tool that allows the user to easily compare the results of the bicluster and cluster...
Fadhl M. Al-Akwaa, Yasser M. Kadah
FROCOS
2011
Springer
13 years 9 months ago
Automatic Proof and Disproof in Isabelle/HOL
Abstract. Isabelle/HOL is a popular interactive theorem prover based on higherorder logic. It owes its success to its ease of use and powerful automation. Much of the automation is...
Jasmin Christian Blanchette, Lukas Bulwahn, Tobias...