1222 search results - page 209 / 245 » A Bayesian Approach to Model Checking Biological Systems |
131
click to vote
BMCBI
2007
15 years 2 months ago
2007
Several systems have been presented in the last years in order to manage the complexity of large microarray experiments. Although good results have been achieved, most systems ten...
148
click to vote
CORR
2004
Springer
15 years 1 months ago
2004
Springer
In this paper we analyze the relationship between cyclic definitions and consistency in GelfondLifschitz's answer sets semantics (initially defined as `stable model semantics...
107
click to vote
WWW
2007
ACM
16 years 2 months ago
2007
ACM
Many databases have become Web-accessible through form-based search interfaces (i.e., HTML forms) that allow users to specify complex and precise queries to access the underlying ...
110
click to vote
PR
2006
15 years 1 months ago
2006
Sign language communication includes not only lexical sign gestures but also grammatical processes which represent inflections through systematic variations in sign appearance. We...
128
click to vote
PPDP
2007
Springer
15 years 8 months ago
2007
Springer
The problem of mechanically formalizing and proving metatheoretic properties of programming language calculi, type systems, operational semantics, and related formal systems has r...