6020 search results - page 583 / 1204 » A New Approach to Model Counting |
196
click to vote
ICCS
2007
Springer
16 years 1 months ago
2007
Springer
In this multi-university collaborative research, we will develop a framework for the dynamic data-driven fault diagnosis of wind turbines which aims at making the wind energy a com...
165
click to vote
SEKE
2004
Springer
16 years 16 days ago
2004
Springer
The textual Object Constraint Language (OCL) is an official part of the Unified Modeling Language (UML). A new concept in the recently adopted OCL version 2.0 is the notion of O...
218
click to vote
TIDSE
2004
Springer
16 years 16 days ago
2004
Springer
The Interactive Dilemma is the inevitable conflict between author’s determinism and interactor’s freedom. There are some approaches that try to tackle it, using strategies and...
237
click to vote
HUMO
2000
Springer
15 years 10 months ago
2000
Springer
In this paper we present a system that can synthesise novel motion sequences from a database of motion capture examples. This is achieved through learning a statistical model from...
188
click to vote
CG
2008
Springer
15 years 9 months ago
2008
Springer
Whole-History Rating (WHR) is a new method to estimate the time-varying strengths of players involved in paired comparisons. Like many variations of the Elo rating system, the whol...