3156 search results - page 183 / 632 » An address translation simulator |
110
click to vote
CDC
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract— This paper presents a novel application of the twotime scale controller for the full envelop flight control of a Rotary wing Unmanned Aerial Vehicle (RUAV). In this pa...
141
Voted
AGTIVE
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. This paper presents the role of meta-modelling and graph transformation in our approach for the modelling, analysis and simulation of complex systems. These are made of c...
208
click to vote
ICIAR
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. With the adoption of tablet-based data entry devices, there is considerable interest in methods for converting hand-drawn sketches of flow charts, graphs and block diagr...
144
Voted
FOCS
1999
IEEE
15 years 6 months ago
1999
IEEE
This paper is concerned with the complexity of proofs and of searching for proofs in two propositional proof systems: Resolution and Polynomial Calculus (PC). For the former syste...
135
Voted
APN
1994
Springer
15 years 6 months ago
1994
Springer
In this paper we describe a modelling project to improve a nuclear waste management program in charge of the creation of a new system for the permanent disposal of nuclear waste. S...