6020 search results - page 109 / 1204 » A New Approach to Model Counting |
114
Voted
MICCAI
2009
Springer
16 years 5 months ago
2009
Springer
Potential sanitary effects related to electromagnetic fields exposure raise public concerns, especially for fetuses during pregnancy. Human fetus exposure can only be assessed thro...
145
Voted
SIGGRAPH
1999
ACM
15 years 8 months ago
1999
ACM
We present a new particle-based surface representation with which a user can interactively sculpt free-form surfaces. The particles maintain mesh connectivity and operate under ru...
143
Voted
PE
2000
Springer
15 years 3 months ago
2000
Springer
Previous work in the stability analysis of polling models concentrated mainly on stability of the whole system. This system stability analysis, however, fails to model many real-w...
134
click to vote
UML
2000
Springer
15 years 7 months ago
2000
Springer
In this paper, dynamic meta modeling is proposed as a new approach to the operational semantics of behavioral UML diagrams. The dynamic meta model extends the well-known static met...
121
click to vote
DAC
2007
ACM
15 years 7 months ago
2007
ACM
The number of features that are supported in modern multimedia devices is increasing faster than ever. Estimating the performance of such applications when they are running on sha...