3994 search results - page 565 / 799 » A Linear Logical Framework |
196
click to vote
CSL
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. A new tree automata framework, called equational tree automata, is presented. In the newly introduced setting, congruence closures of recognizable tree languages are reco...
202
click to vote
ICDCSW
2000
IEEE
15 years 11 months ago
2000
IEEE
In this paper, we describe a new paradigm for information retrieval in which the retrieval target is based on a model. Three types of models – linear, finite state, and knowledg...
204
click to vote
IJCNN
2000
IEEE
15 years 11 months ago
2000
IEEE
In the Support Vector Machines (SVM) framework, the positive-definite kernel can be seen as representing a fixed similarity measure between two patterns, and a discriminant func...
235
click to vote
ISLPED
2000
ACM
15 years 11 months ago
2000
ACM
This paper presents a framework for CMOS ring oscillator phase noise analysis for given power consumption specifications. This model considers both linear and nonlinear operation...
162
click to vote
DCW
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. In this paper we propose a simple powerful method to increase communication performance in large networks such as the Internet. Our approach is based on the usage multipl...