Sciweavers

13140 search results - page 207 / 2628
» Coupling Component Systems towards Systems of Systems
Sort
View
DC
2010
15 years 4 months ago
Towards worst-case churn resistant peer-to-peer systems
Abstract Until now, the analysis of fault tolerance of peerto-peer systems usually only covers random faults of some kind. Contrary to traditional algorithmic research, faults as w...
Fabian Kuhn, Stefan Schmid, Roger Wattenhofer
ENTCS
2007
135views more  ENTCS 2007»
15 years 4 months ago
Towards a Hybrid Dynamic Logic for Hybrid Dynamic Systems
We introduce a hybrid variant of a dynamic logic with continuous state transitions along differential equations, and we present a sequent calculus for this extended hybrid dynami...
André Platzer
APIN
2002
113views more  APIN 2002»
15 years 4 months ago
Towards Creative Evolutionary Systems with Interactive Genetic Algorithm
Evolutionary computation has shown a great potential to work out several real-world problems in the point of optimization, but it is still quite far from realizing a system of matc...
Sung-Bae Cho
ICCV
2011
IEEE
14 years 4 months ago
Scale Space for Central Catadioptric Systems. Towards a generic camera feature extractor.
In this paper we propose a new approach to compute the scale space of any omnidirectional image acquired with a central catadioptric system. When these cameras are central they ar...
Luis Puig, Jose Guerrero
FUIN
2007
91views more  FUIN 2007»
15 years 4 months ago
Towards a Framework for Modelling Behaviours of Hybrid Systems
The paper is devoted to characterizing hybrid systems by specifying their possible runs, called processes, where each process is represented by a pomset in an intrinsic, global tim...
Józef Winkowski