713 search results - page 51 / 143 » Reasoning with Projected Contours |
MM
2010
ACM
13 years 8 months ago
2010
ACM
Bateau Ivre is a project presented on the Seine River to make a large audience aware of the possible developments of Augmented Reality through an artistic installation in a mobile...
ATAL
2007
Springer
14 years 4 months ago
2007
Springer
Most of the research on multiagent systems has focused on the development of rational utility-maximizing agents. However, research shows that emotions have a strong effect on peo...
SEMWEB
2007
Springer
14 years 4 months ago
2007
Springer
SMART (Semantic web information Management with automated Reasoning Tool) is an open-source project, which aims to provide intuitive tools for life scientists for represent, integr...
IDEAL
2004
Springer
14 years 3 months ago
2004
Springer
AURA (Advanced Uncertain Reasoning Architecture) is a parallel pattern matching technology intended for high-speed approximate search and match operations on large unstructured dat...
CADE
1999
Springer
14 years 2 months ago
1999
Springer
CutRes is a system which takes as input an LK-proof with arbitrary cuts and skolemized end-sequent and gives as output an LKproof with atomic cuts only. The elimination of cuts is ...