5550 search results - page 69 / 1110 » Different Approaches to Proof Systems |
154
Voted
ICCS
2007
Springer
16 years 9 days ago
2007
Springer
Abstract. This paper reviews recent developments in our project that are focused on dynamic data-driven methods for efficient and reliable simulation based optimization, which may...
157
click to vote
ISCAS
2003
IEEE
15 years 11 months ago
2003
IEEE
To handle today’s complexity, modern circuits and systems be specified at a high level of abstraction. Recently, SystemC has been proposed as a language that allows a fast on o...
159
click to vote
IROS
2007
IEEE
16 years 14 days ago
2007
IEEE
— Locomotion on an irregular surface is a challenging task in robotics. Among different problems to solve to obtain robust locomotion, visually guided locomotion and accurate foo...
172
click to vote
AEI
2008
15 years 6 months ago
2008
Long-term users of engineering product data are hampered by the ephemeral nature of CAD file formats and the applications that work with them. STEP, the Standard for the Exchange ...
178
click to vote
HAIS
2009
Springer
15 years 3 months ago
2009
Springer
Abstract. In the last years, several papers have proposed to adopt multiobjective evolutionary algorithms (MOEAs) to generate Mamdani fuzzy rulebased systems with different trade-o...