15754 search results - page 650 / 3151 » Programs are Knowledge Bases |
205
Voted
JMLC
1997
Springer
15 years 11 months ago
1997
Springer
Abstract. We describe a system designed to provide database programming support for Oberon programmers. The system is based on a generic object-oriented data model which supports r...
214
click to vote
CPAIOR
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. We present a theoretical study on the idea of using mathematical programming relaxations for filtering binary constraint satisfaction problems. We introduce the consisten...
186
Voted
IJCAI
1993
15 years 8 months ago
1993
The paper is concerned with the design of a module system for logic programming so as to satisfy many of the requirements of software en gineering. The design is based on the la...
164
click to vote
JACIII
2007
15 years 7 months ago
2007
Abstract— A common framework for formalization of statetransition computation models is presented based on a general theory for studying the interrelationships between specifica...
217
Voted
CVPR
2003
IEEE
16 years 9 months ago
2003
IEEE
A linear programming technique is introduced that jointly performs feature selection and classifier training so that a subset of features is optimally selected together with the c...