23 search results - page 4 / 5 » Towards Higher-Order DL-Lite |
CVPR
2007
IEEE
14 years 7 months ago
2007
IEEE
A novel algorithm called Average Neighborhood Margin Maximization (ANMM) is proposed for supervised linear feature extraction. For each data point, ANMM aims at pulling the neighb...
SYNASC
2005
IEEE
13 years 11 months ago
2005
IEEE
Abstract. This paper is a first step towards a systematic evaluation of the possibilities to use membrane computing as a modeling framework for economics. Membrane computing is a ...
ENTCS
2002
13 years 5 months ago
2002
The last few years have seen the development of a new calculus which can be considered as an outcome of the last decade of various researches on (higher order) term rewriting syst...
TPHOL
1997
IEEE
13 years 10 months ago
1997
IEEE
This note lists references which address –in some way or another– the problems relating to formal manipulation of logical expressions where terms can fail to denote. Reference...
IFL
2005
Springer
13 years 11 months ago
2005
Springer
Abstract. This paper considers the use of dependent types to capture information about dynamic resource usage in a static type system. Dependent types allow us to give (explicit) p...