4835 search results - page 653 / 967 » Intelligent Selection Tools |
153
Voted
IVA
2009
Springer
16 years 1 months ago
2009
Springer
Over the past decade, motion capture data has become a popular research tool, and motion databases have grown exponentially. Indexing, querying, and retrieving data has thus become...
200
click to vote
LFCS
2009
Springer
16 years 1 months ago
2009
Springer
This work defines an extension CERES2 of the first-order cut-elimination method CERES to the subclass of sequent calculus proofs in second-order logic using quantifier-free comp...
168
click to vote
MDAI
2009
Springer
16 years 1 months ago
2009
Springer
Web 2.0 Communities allow large amounts of users to interact with each others. In fact, new Web 2.0 technologies allow to share resources and information in an easy and timely mann...
157
click to vote
PRIMA
2009
Springer
16 years 1 months ago
2009
Springer
Agent-oriented programming has been motivated in part by the conception that high-level programming constructs based on common tions such as beliefs and goals provide appropriate a...
173
click to vote
IAT
2008
IEEE
16 years 1 months ago
2008
IEEE
Collaborative tagging systems have emerged in recent years to become popular tools for organising information on the Web. While collaborative tagging offers many advantages, they ...