2609 search results - page 101 / 522 » Models for Global Constraint Applications |
117
click to vote
SIGGRAPH
2000
ACM
15 years 8 months ago
2000
ACM
Traditional collision intensive multi-body simulations are difficult to control due to extreme sensitivity to initial conditions or model parameters. Furthermore, there may be mu...
148
click to vote
CAV
2009
Springer
16 years 4 months ago
2009
Springer
Recent development on distributed systems has shown that a variety of fairness constraints (some of which are only recently defined) play vital roles in designing self-stabilizing ...
130
click to vote
KES
1999
Springer
15 years 8 months ago
1999
Springer
A shape specification system based on fuzzy logic is proposed, which aims to facilitate designers in conceptual design stage by allowing them to specify and work with rough models...
103
click to vote
SIAMAM
2008
15 years 3 months ago
2008
We consider a macroscopic (drift-diffusion) model describing a simple microwave generator, consisting of a special type of semiconductor material that, when biased above a certain ...
126
click to vote
RE
2001
Springer
15 years 8 months ago
2001
Springer
A logic model checker can be an effective tool for debugging software applications. A stumbling block can be that model checking tools expect the user to supply a formal statement...