1669 search results - page 75 / 334 » Structured Specification of Model Interpreters |
107
click to vote
ECIS
2001
15 years 4 months ago
2001
The purpose of this paper is to investigate the distinctive characteristics of the competitive mechanism in the digital economy and information product markets. Specific propertie...
106
click to vote
ICML
2004
IEEE
16 years 4 months ago
2004
IEEE
We study the problem of modeling species geographic distributions, a critical problem in conservation biology. We propose the use of maximum-entropy techniques for this problem, s...
101
click to vote
BIRTHDAY
2005
Springer
15 years 9 months ago
2005
Springer
Expander2 is a flexible multi-purpose workbench for interactive rewriting, verification, constraint solving, flow graph analysis and other procedures that build up proofs or co...
107
Voted
ATVA
2005
Springer
15 years 9 months ago
2005
Springer
This work extends the game-based framework of µ-calculus model checking to the multi-valued setting. In multi-valued model checking a formula is interpreted over a Kripke structur...
121
click to vote
ECBS
2003
IEEE
15 years 8 months ago
2003
IEEE
We present an algebraic framework for evidence exploration: the process of interpreting, manipulating, and navigating the proof structure or evidence produced by a model checker w...