4346 search results - page 328 / 870 » Models of Complex Physical Systems Using Cell-DEVS |
190
click to vote
CADE
2004
Springer
16 years 7 months ago
2004
Springer
Interactive theorem provers can model complex systems, but require much effort to prove theorems. Resolution theorem provers are automatic and powerful, but they are designed to be...
192
click to vote
HPCA
2011
IEEE
14 years 10 months ago
2011
IEEE
As the web becomes the platform of choice for execution of more complex applications, a growing portion of computation is handed off by developers to the client side to reduce net...
168
click to vote
PADS
2004
ACM
16 years 2 days ago
2004
ACM
This paper advocates the use of a formal framework for analyzing simulation performance. Simulation performance is characterized based on the three simulation development process ...
206
click to vote
CMSB
2010
Springer
15 years 1 months ago
2010
Springer
Boolean modeling frameworks have long since proved their worth for capturing and analyzing essential characteristics of complex systems. Hybrid approaches aim at exploiting the ad...
182
click to vote
ACCV
2007
Springer
16 years 25 days ago
2007
Springer
We present a new framework for correcting multiperspective distortions using collineations. A collineation describes the transformation between the images of a camera due to change...