Sciweavers

3844 search results - page 220 / 769
» Modular interpreted systems
Sort
View
AML
2004
96views more  AML 2004»
15 years 3 months ago
Analytic Calculi for Product Logics
Abstract. Product logic is an important t-norm based fuzzy logic with conjunction interpreted as multiplication on the real unit interval [0, 1], while Cancellative hoop logic CHL ...
George Metcalfe, Nicola Olivetti, Dov M. Gabbay
142
Voted
ALC
1997
15 years 5 months ago
Synthesising interconnections
In the context of the modular and incremental development of complex systems, viewed as interconnections of interacting components, new dimensions and new problems arise in the ca...
José Luiz Fiadeiro, Antónia Lopes, T...
ICDAR
2011
IEEE
14 years 3 months ago
Embedding a Mathematical OCR Module into OCRopus
—This paper describes embedding a mathematical formula recognition module into the OCR system OCRopus aiming at developing a OCR system for scientific and technical documents wh...
Shinpei Yamazaki, Fumihiro Furukori, Qinzheng Zhao...
133
Voted
JLP
2006
113views more  JLP 2006»
15 years 3 months ago
Continuity controlled hybrid automata
We investigate the connections between the process algebra for hybrid systems of Bergstra and Middelburg and the formalism of hybrid automata of Henzinger et al. We give interpreta...
Jan A. Bergstra, C. A. Middelburg
MCSS
2007
Springer
15 years 3 months ago
An ISS small gain theorem for general networks
We provide a generalized version of the nonlinear small gain theorem for the case of more than two coupled input-to-state stable (ISS) systems. For this result the interconnection...
Sergey Dashkovskiy, Björn Rüffer, Fabian...