3706 search results - page 23 / 742 » KtSeqC: System Description |
75
Voted
LICS
2005
IEEE
15 years 3 months ago
2005
IEEE
In recent work Baader has shown that a certain description logic with conjunction, existential quantification and with circular definitions has a polynomial time subsumption pro...
LPAR
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. The coupling of description logic reasoning systems with other reasoning formalisms (possibly over the Web) is becoming an important research issue and calls for advanced...
AI
1999
Springer
14 years 9 months ago
1999
Springer
Intelligent systems are often called upon to form plans that direct their own or other agents' activities. For these systems, the ability to describe plans to people in natur...
88
Voted
AAAI
2012
13 years 1 days ago
2012
In recent years, several systems have been proposed that learn the rules of a simple card or board game solely from visual demonstration. These systems were constructed for speci...
ISMIR
2003
Springer
15 years 2 months ago
2003
Springer
Systems for sound retrieval are usually “sourcecentred”. This means that retrieval is based on using the proper keywords that define or specify a sound source. Although this t...