2780 search results - page 357 / 556 » Learning to Order Things |
123
Voted
AAMAS
2005
Springer
15 years 10 months ago
2005
Springer
The ability to determine a sequence of actions in order to reach a particular goal is of utmost importance to mobile robots. One major problem with symbolic planning approaches re...
118
Voted
AIRS
2005
Springer
15 years 10 months ago
2005
Springer
Query expansion techniques generally select new query terms from a set of top ranked documents. Although a user’s manual judgment of those documents would much help to select goo...
140
click to vote
HVC
2005
Springer
15 years 10 months ago
2005
Springer
We present several algorithms for simultaneous SAT (propositional satisfiability) based model checking of safety properties. More precisely, we focus on Bounded Model Checking and ...
133
Voted
ICANN
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. In practice, almost all control systems in use today implement some form of linear control. However, there are many tasks for which conventional control engineering metho...
127
click to vote
PCI
2005
Springer
15 years 10 months ago
2005
Springer
Nowadays, the number of protein sequences being stored in central protein databases from labs all over the world is constantly increasing. From these proteins only a fraction has b...