2013 search results - page 56 / 403 » Happy New Year |
143
click to vote
AI
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. In recent years much research has been conducted on building Thesauri and enhancing them with new terms and relationships. I propose to build and evaluate a system for au...
192
click to vote
EPIA
2001
Springer
15 years 10 months ago
2001
Springer
This paper explores the applicability of the new paradigm of Multi-dimensional Dynamic Logic Programming to represent an agent’s view of the combination of societal knowledge dyn...
150
click to vote
HICSS
2000
IEEE
15 years 10 months ago
2000
IEEE
In recent years, business on the Internet has exponentially increased. Consequently, the deployment and management of business applications on the Internet is becoming more and mo...
151
click to vote
ICPR
2000
IEEE
15 years 10 months ago
2000
IEEE
All the methods for estimating the fundamental matrix do not naturally exploit the rank-2 constraint. For these reason some few rank-2 parameterizations of the fundamental matrix ...
162
click to vote
CADE
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. The Nuprl system is a framework for reasoning about mathematics and programming. Over the years its design has been substantially improved to meet the demands of large-sc...