1800 search results - page 265 / 360 » Feature Interaction in Composed Systems |
106
click to vote
AAAI
1996
15 years 5 months ago
1996
As more information becomes available electronically, tools for finding information of interest to users becomes increasingly important. The goal of the research described here is...
143
Voted
ENTCS
2011
14 years 11 months ago
2011
The past decade has seen a remarkable resurgence of the old programme of finding more or less a priori axioms for the mathematical framework of quantum mechanics. The new impetus...
137
click to vote
CVPR
2000
IEEE
16 years 6 months ago
2000
IEEE
Combining learning with vision techniques in interactive image retrieval has been an active research topic during the past few years. However, existing learning techniques either ...
150
click to vote
CADE
2005
Springer
16 years 4 months ago
2005
Springer
Proof planning is an automated reasoning technique which improves proof search by raising it to a meta-level. In this paper we apply proof planning to First-Order Linear Temporal L...
115
click to vote
ACCV
2007
Springer
15 years 10 months ago
2007
Springer
The ability to detect and recognize individuals is essential for an autonomous robot interacting with humans even if computational resources are usually rather limited. In general ...