1127 search results - page 114 / 226 » Theory Extension in ACL2(r) |
171
click to vote
KR
2004
Springer
15 years 11 months ago
2004
Springer
The Fluent Calculus has largely been focused on building agents that work individually. However, agents often need to interact with each other to learn more about their environmen...
166
click to vote
ECCV
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Visual vocabulary construction is an integral part of the popular Bag-of-Features (BOF) model. When visual data scale up (in terms of the dimensionality of features or/an...
135
click to vote
ARITH
2003
IEEE
15 years 11 months ago
2003
IEEE
SRT division, as it was discovered in the late 1950s represented an important improvement in the speed of division algorithms for computers at the time. A variant of SRT division ...
140
click to vote
ISIPTA
2003
IEEE
15 years 11 months ago
2003
IEEE
In this paper we study two classes of imprecise previsions, which we termed convex and centered convex previsions, in the framework of Walley’s theory of imprecise previsions. W...
154
click to vote
JCDL
2003
ACM
15 years 11 months ago
2003
ACM
The National Science Digital Library (NSDL), launched in December 2002, is emerging as a center of innovation in digital libraries as applied to education. As a part of this exten...