1721 search results - page 153 / 345 » The fundamentals of hybrid systems modelers |
149
click to vote
EOR
2007
15 years 6 months ago
2007
We propose a structural credit risk model for consumer lending using option theory and the concept of the value of the consumer’s reputation. Using Brazilian empirical data and ...
212
click to vote
MTV
2007
IEEE
16 years 21 days ago
2007
IEEE
Abstract—Abstract models of analog/mixed-signal (AMS) circuits can be used for formal verification and system-level simulation. The difficulty of creating these models preclude...
163
click to vote
HVC
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. This paper studies the efficiency of several probabilistic model checkers by comparing verification times and peak memory usage for a set of standard case studies. The s...
187
click to vote
3DPVT
2006
IEEE
16 years 15 days ago
2006
IEEE
This paper presents a hybrid modeling system that fuses LiDAR data, an aerial image and ground view images for rapid creation of accurate building models. Outlines for complex bui...
166
click to vote
IE
2007
15 years 8 months ago
2007
In this paper we introduce a mathematical model of conflict that enhances Richardson’s model of Arms Race accounting for interactive scenarios, such as the ones provided by CRP...