689 search results - page 48 / 138 » Focusing in Linear Meta-logic |
151
click to vote
TLCA
2007
Springer
15 years 10 months ago
2007
Springer
We propose type systems that abstractly interpret small-step rather than big-step operational semantics. We treat an expression or evaluation context as a structure in a linear log...
ISCAS
2006
IEEE
15 years 10 months ago
2006
IEEE
— This paper focuses on the suboptimal regulation of multivariable discrete-time bilinear systems consisting of interconnected bilinear subsystems with respect to a linear quadra...
143
click to vote
IRAL
2003
ACM
15 years 9 months ago
2003
ACM
In this paper, we focus on performing LSI on very low SVD dimensions. The results show that there is a nearly linear surface in the local query region. Using low-dimensional LSI o...
150
click to vote
COST
2009
Springer
15 years 9 months ago
2009
Springer
The paper presents our initial attempts in building an audio video emotion recognition system. Both, audio and video sub-systems are discussed, and description of the database of s...
126
click to vote
WSC
1998
15 years 5 months ago
1998
Bootstrapping is a resampling technique that requires less computer time than simulation does. Bootstrapping -like simulation-must be defined for each type of application. This pa...