5647 search results - page 737 / 1130 » A word from the editor |
169
click to vote
LMCS
2007
15 years 6 months ago
2007
Higher-Order Fixpoint Logic (HFL) is a hybrid of the simply typed λ-calculus and the modal µ-calculus. This makes it a highly expressive temporal logic that is capable of express...
178
click to vote
JUCS
2002
15 years 6 months ago
2002
The main goal of this research is to improve Information Retrieval Systems by enabling them to generate search outcomes that are relevant and customized to each specific user. Our ...
186
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
Abstract— Imitation learning in robots, also called programing by demonstration, has made important advances in recent years, allowing humans to teach context dependant motor ski...
194
click to vote
JOCN
2010
15 years 5 months ago
2010
■ Knowledge about cause and effect relationships (e.g., virus– epidemic) is essential for predicting changes in the environment and for anticipating the consequences of events...
216
click to vote
SMC
2010
IEEE
15 years 5 months ago
2010
IEEE
—Text classification is a widely studied topic in the area of machine learning. A number of techniques have been developed to represent and classify text documents. Most of the t...