828 search results - page 45 / 166 » Modularity for Timed and Hybrid Systems |
234
click to vote
IROS
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract— LDP (Locally Distributed Predicates) is a distributed, high-level language for programming modular reconfigurable robot systems (MRRs). In this paper we present the im...
123
Voted
IJCNN
2006
IEEE
15 years 9 months ago
2006
IEEE
— This paper shows the advantage of using neural network modularity over conventional learning schemes to approximate complex functions. Indeed, it is difficult for artificial ...
115
Voted
ISSAC
2005
Springer
15 years 9 months ago
2005
Springer
Let G = (4y2 + 2z)x2 + (10y2 + 6z) be the greatest common divisor (gcd) of two polynomials A, B ∈ [x,y, z]. Because G is not monic in the main variable x, the sparse modular ...
161
Voted
FROCOS
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We present an overview of results on hierarchical and modular reasoning in complex theories. We show that for a special type of extensions of a base theory, which we call...
129
Voted
FOSSACS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. In this work, we introduce the class of Interrupt Timed Automata (ITA), which are well suited to the description of multi-task systems with interruptions in a single proc...