207 search results - page 6 / 42 » Learning Multi-modal Control Programs |
102
Voted
EUROGP
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Model checking is a way of analysing programs and programlike structures to decide whether they satisfy a list of temporal logic statements describing desired behaviour. ...
106
Voted
EUROMICRO
2003
IEEE
15 years 6 months ago
2003
IEEE
Extreme programming (XP) is the most well known agile software development method. Many experience reports have been published in recent years. Successful XP adoptions have howeve...
131
Voted
NIPS
2007
15 years 2 months ago
2007
When we have several related tasks, solving them simultaneously is shown to be more effective than solving them individually. This approach is called multi-task learning (MTL) and...
100
Voted
CEC
2007
IEEE
15 years 5 months ago
2007
IEEE
Abstract-- In order to increase the transportation capability of elevator group systems in high-rise buildings without adding elevator installation space, double-deck elevator syst...
111
Voted
AI
1999
Springer
15 years 25 days ago
1999
Springer
There are many different approaches to solving planning problems, one of which is the use of domain specific control knowledge to help guide a domain independent search algorithm. ...