573 search results - page 93 / 115 » Sketch Data Models, Relational Schema and Data Specification... |
105
click to vote
CORR
2010
Springer
14 years 12 months ago
2010
Springer
Abstract--This paper focuses on data structures for multicore reachability, which is a key component in model checking algorithms and other verification methods. A cornerstone of a...
ICML
2005
IEEE
16 years 18 days ago
2005
IEEE
Many real-world domains exhibit rich relational structure and stochasticity and motivate the development of models that combine predicate logic with probabilities. These models de...
108
click to vote
BMCBI
2006
14 years 12 months ago
2006
Background: Many commonly used genome browsers display sequence annotations and related attributes as horizontal data tracks that can be toggled on and off according to user prefe...
137
click to vote
PKDD
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. We present an implementation of model-based online reinforcement learning (RL) for continuous domains with deterministic transitions that is specifically designed to achi...
127
click to vote
TSC
2010
14 years 6 months ago
2010
Data-Providing (DP) services allow query-like access to organizations' data via web services. The invocation of a DP service results in the execution of a query over data sour...