2381 search results - page 300 / 477 » On Ordering Descriptions in a Description Logic |
AAAI
1996
15 years 3 months ago
1996
The Supply Chain Integrated Ordering Network (SCION) Depot Bookings system automates the planning and scheduling of perishable and non-perishable commodities and the vehicles that...
127
click to vote
NIPS
1994
15 years 3 months ago
1994
Reinforcement learning addresses the problem of learning to select actions in order to maximize one's performance inunknownenvironments. Toscale reinforcement learning to com...
123
click to vote
SISAP
2010
IEEE
15 years 10 days ago
2010
IEEE
In this demonstration we present SHIATSU, an automatic semantic-based video tagging system which relies on shot boundary detection and hierarchical annotation. More in details, in...
103
click to vote
ICES
2010
Springer
14 years 12 months ago
2010
Springer
Abstract. In this paper it is demonstrated how two issues from the area of testing electronic components can be merged and solved by means of a genetic algorithm. The two issues ar...
120
click to vote
SIGSOFT
2007
ACM
16 years 2 months ago
2007
ACM
Model checking techniques have traditionally dealt with temporal logic languages and automata interpreted over -words, i.e., infinite in the future but finite in the past. However...