2916 search results - page 269 / 584 » Generating Rule Sets from Model Trees |
154
click to vote
FORTE
2004
15 years 7 months ago
2004
Witnesses and counterexamples produced by model checkers provide a very useful source of diagnostic information. They are usually returned in the form of a single computation path ...
163
click to vote
VLDB
2002
ACM
15 years 5 months ago
2002
ACM
The two observations that 1) many XML documents are stored in a database or generated from data stored in a database and 2) processing these documents with XSL stylesheet processo...
259
click to vote
ICAIL
2011
ACM
14 years 5 months ago
2011
ACM
A formal two-phase model of democratic policy deliberation is presented, in which in the first phase sufficient and necessary criteria for proposals to be accepted are determine...
185
click to vote
BMCBI
2010
15 years 1 months ago
2010
Background: We suggest a new type of modeling approach for the coarse grained, particle-based spatial simulation of combinatorially complex chemical reaction systems. In our appro...
207
click to vote
WISE
2000
Springer
15 years 10 months ago
2000
Springer
The mediator/wrapper approach is used to integrate data from different databases and other data sources by introducing a middleware virtual database that provides high level abstr...