6020 search results - page 91 / 1204 » A New Approach to Model Counting |
132
Voted
SIGGRAPH
1997
ACM
15 years 8 months ago
1997
ACM
This paper describes an algorithm for automatically adapting existing simulated behaviors to new characters. Animating a new character is difficult because a control system tuned...
107
Voted
SIGMETRICS
2008
ACM
15 years 3 months ago
2008
ACM
This paper addresses the quantitative analysis of gossiping protocols. In contrast to existing approaches which are entirely based on the simulation of the individual nodes' ...
155
Voted
WSC
2007
15 years 6 months ago
2007
Statistical selection procedures can identify the best of a finite set of alternatives, where “best” is defined in terms of the unknown expected value of each alternative’...
134
Voted
WIRTSCHAFTSINFORMATI
2007
15 years 4 months ago
2007
: This paper sketches an approach to designing organization-specific information models for Enterprise Architecture (EA) Management based on patterns. Thus we intend to support th...
143
click to vote
CDC
2009
IEEE
15 years 7 months ago
2009
IEEE
— In this paper, a new method to design an observer for nonlinear systems described by Takagi-Sugeno (TS) model, with unmeasurable premise variables, is proposed. Most of existin...