1219 search results - page 110 / 244 » Towards automatization of domain modeling |
214
click to vote
ROBOCUP
2004
Springer
15 years 11 months ago
2004
Springer
The paper discusses a top-down approach to model soccer knowledge, as it can be found in soccer theory books. The goal is to model soccer strategies and tactics in a way that they ...
171
click to vote
WSC
2007
15 years 8 months ago
2007
Time is an important data dimension with distinct characteristics that is common across many application domains. This demands specialized methods in order to support proper analy...
138
click to vote
CAV
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. While effective methods for bit-level verification of low-level properties exist, system-level properties that entail reasoning about a significant part of the design p...
144
click to vote
CIRA
2007
IEEE
16 years 20 days ago
2007
IEEE
— A heuristic search for stable high-order delta sigma modulators is presented. Searches guided by the Linear Model found stable modulators with higher SNR performance compared t...
156
click to vote
IJCAI
2001
15 years 7 months ago
2001
The task of causal structure discovery from empirical data is a fundamental problem in many areas. Experimental data is crucial for accomplishing this task. However, experiments a...