9015 search results - page 496 / 1803 » Using Structural Computing to Support Information Integratio... |
217
click to vote
ICFP
2010
ACM
15 years 8 months ago
2010
ACM
Modern proof assistants such as Coq and Isabelle provide high degrees of expressiveness and assurance because they support formal reasoning in higher-order logic and supply explic...
207
click to vote
PRL
2006
15 years 6 months ago
2006
Depth computation is an attractive feature in computer vision. The use of traditional perspective cameras for panoramic perception requires several images, most likely implying th...
173
click to vote
ICPR
2002
IEEE
16 years 8 months ago
2002
IEEE
Prior research in scene classification has shown that high-level information can be inferred from low-level image features. Classification rates of roughly 90% have been reported ...
192
click to vote
KES
2005
Springer
16 years 10 days ago
2005
Springer
Pervasive computing environment and users’ demand for multimedia personalization precipitate a need for personalization tools to help people access desired multimedia content at ...
189
Voted
PKDD
2010
Springer
15 years 5 months ago
2010
Springer
Prior knowledge, in the form of simple advice rules, can greatly speed up convergence in learning algorithms. Online learning methods predict the label of the current point and the...