689 search results - page 48 / 138 » Focusing in Linear Meta-logic |
175
click to vote
TLCA
2007
Springer
16 years 5 days 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...
109
click to vote
ISCAS
2006
IEEE
16 years 2 days 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...
168
click to vote
IRAL
2003
ACM
15 years 11 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...
172
Voted
COST
2009
Springer
15 years 10 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...
144
click to vote
WSC
1998
15 years 7 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...