3771 search results - page 225 / 755 » Subobject Transformation Systems |
133
click to vote
ENTCS
2008
15 years 4 months ago
2008
Hybrid Chi is a process algebra for the modeling and analysis of hybrid systems. It enables modular specification of hybrid systems by means of a large set of atomic statements an...
121
Voted
AUTOMATICA
2006
15 years 4 months ago
2006
This paper considers the robustness of stochastic stability of Markovian jump linear systems in continuous- and discrete-time with respect to their transition rates and probabilit...
142
click to vote
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
We consider the task of acoustic system identification, where the input signal undergoes a memoryless nonlinear transformation before convolving with an unknown linear system. We...
104
click to vote
ICPR
2000
IEEE
16 years 5 months ago
2000
IEEE
In this paper we describe a machine vision system for inspecting bearings, which are an important part of electro-mechanical kWh meters. The system consists of a personal computer ...
133
click to vote
CADE
2006
Springer
16 years 4 months ago
2006
Springer
Abstract. Inspired by the Curry-Howard correspondence, we study normalisation procedures in the depth-bounded intuitionistic sequent calculus of Hudelmaier (1988) for the implicati...