2138 search results - page 404 / 428 » Logical Step-Indexed Logical Relations |
150
click to vote
KES
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. This work proposes a family of language-independent semantic kernel functions defined for individuals in an ontology. This allows exploiting wellfounded kernel methods fo...
151
click to vote
JBCB
2007
15 years 3 months ago
2007
Mechanistic models for transcriptional regulation are derived using the methods of equilibrium statistical mechanics, to model equilibrating processes that occur at a fast time sc...
156
Voted
ICIP
1998
IEEE
16 years 5 months ago
1998
IEEE
We describe a new invariant-based data model for image databases under our approach for shape-based retrieval. The data model relies on contours description of the image shape, an...
176
click to vote
VIS
2009
IEEE
16 years 5 months ago
2009
IEEE
In this paper we describe a novel method to integrate interactive visual analysis and machine learning to support the insight generation of the user. The suggested approach combine...
132
click to vote
DAC
2009
ACM
16 years 5 months ago
2009
ACM
Traditionally, synchronous languages, such as Esterel, have been compiled into hardware, where timing analysis is relatively easy. When compiled into software ? e.g., into sequent...