814 search results - page 77 / 163 » Generic Model Abstraction from Examples |
143
click to vote
CDC
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract— We study Balanced Truncation for stochastic differential equations. In doing so, we adopt ideas from large deviations theory and discuss notions of controllability and ...
133
click to vote
ECAI
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. Autonomous agents operating in complex dynamic environments need the ability to integrate robust plan execution with higher level reasoning. This paper describes work to ...
126
click to vote
AAAI
1998
15 years 4 months ago
1998
Manyimportant physical phenomena,such as temperature distribution, air flow, and acoustic waves,are describedas continuous,distributed parameterfields. Analyzingandcontrolling the...
140
click to vote
ICCAD
2002
IEEE
16 years 4 days ago
2002
IEEE
In this paper we present an advanced functional extraction tool for automatic generation of high-level RTL from switch-level circuit netlist representation. The tool is called FEV...
131
click to vote
EUROCRYPT
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. Provable security is a very nice property for cryptographic protocols. Unfortunately, in many cases, this is at the cost of a considerable loss in terms of efficiency. Mo...