15754 search results - page 544 / 3151 » Programs are Knowledge Bases |
189
click to vote
AUSAI
2004
Springer
16 years 15 days ago
2004
Springer
Abstract. Quantified Boolean formulas (QBFs) play an important role in artificial intelligence subjects, specially in planning, knowledge representation and reasoning [20]. In th...
182
click to vote
ISMAR
2003
IEEE
16 years 11 days ago
2003
IEEE
This demonstration will highlight the Designer’s Augmented Reality Toolkit (DART), a system that allows users to easily create augmented reality (AR) experiences. Over the past ...
189
click to vote
CMMR
2003
Springer
16 years 9 days ago
2003
Springer
High-Level music descriptors are key ingredients for music information retrieval systems. Although there is a long tradition in extracting information from acoustic signals, the fi...
193
click to vote
ICRA
2002
IEEE
16 years 23 hour ago
2002
IEEE
Trajectory design for high-dimensional systems with nonconvex constraints is a challenging problem considered in this paper. Classical dynamic programming is often employed, but c...
192
click to vote
WIKIS
2009
ACM
15 years 11 months ago
2009
ACM
Due to the simplicity, attractiveness and effectiveness for collaborative authoring and knowledge management, wikis are now massively disseminated and used in different domains. T...