1548 search results - page 256 / 310 » Integration of Simulation with Enterprise Models |
127
Voted
DAC
2010
ACM
14 years 11 months ago
2010
ACM
As high-level models in C and SystemC are increasingly used for verification and even design (through high-level synthesis) of electronic systems, there is a growing need for com...
82
Voted
ICALP
1989
Springer
15 years 4 months ago
1989
Springer
Category theory has been successfully employed to structure the confusing setup of models and equivalences for concurrency: Winskel and Nielsen have related the standard models nc...
91
Voted
ENTCS
2006
15 years 18 days ago
2006
Category theory has been successfully employed to structure the confusing setup of models and equivalences for concurrency: Winskel and Nielsen have related the standard models nc...
103
Voted
ICCV
2007
IEEE
16 years 2 months ago
2007
IEEE
Traditional image mosaicing usually relies on rigid image transformations. In many medical applications, however, tissue deformation during image acquisition or 3D parallax effect...
IPMI
2003
Springer
16 years 1 months ago
2003
Springer
Abstract. The forward M/EEG problem consists in simulating the electric potential and the magnetic field produced outside the head by currents in the brain related to neural activi...