2962 search results - page 269 / 593 » Reasoning on Association Rules |
183
click to vote
CADE
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. While many higher-order interactive theorem provers include a choice operator, higher-order automated theorem provers currently do not. As a step towards supporting autom...
186
click to vote
LPAR
2010
Springer
15 years 4 months ago
2010
Springer
We introduce parameterized rewrite systems for describing infinite families of finite string rewrite systems depending upon non-negative integer parameters, as well as ways to reas...
204
click to vote
COMMA
2010
15 years 1 months ago
2010
Abstract. This paper argues that accrual should be modelled in terms of reasoning about the application of preferences to sets of arguments, and shows how such reasoning can be for...
185
click to vote
ICCBR
2005
Springer
16 years 6 days ago
2005
Springer
The rapid growth of data stored in molecular biology-related databases has stimulated the development of integrative tools for retrieval and presentation of the data in the form of...
147
click to vote
ICCV
2001
IEEE
16 years 8 months ago
2001
IEEE
We present a new on-line scheme for the recognition and pose estimation of a large isolated 3-D object, which may not entirely fit in a camera's field of view. We do not assu...