4502 search results - page 872 / 901 » Regular Model Checking |
115
Voted
DAGSTUHL
2006
15 years 1 months ago
2006
This paper presents a method of constructing pre-routed FPGA cores which lays the foundations for a rapid system construction framework for dynamically reconfigurable computing sy...
CONCUR
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Graph games of infinite length provide a natural model for open reactive systems: one player (Eve) represents the controller and the other player (Adam) represents the en...
118
click to vote
COMAD
2009
15 years 1 months ago
2009
We present a class of web queries whose result is a multi-column relation instead of a collection of unstructured documents as in standard web search. The user specifies the query...
105
Voted
BMCBI
2008
15 years 19 days ago
2008
Background: We propose a statistically principled baseline correction method, derived from a parametric smoothing model. It uses a score function to describe the key features of b...
130
Voted
BMCBI
2008
15 years 19 days ago
2008
Background: Although there are a large number of thesauri for the biomedical domain many of them lack coverage in terms and their variant forms. Automatic thesaurus construction b...