6608 search results - page 1100 / 1322 » On the Completeness of Model Checking |
206
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: The Gene Ontology (GO) is a well known controlled vocabulary describing the biological process, molecular function and cellular component aspects of gene annotation. I...
199
click to vote
IANDC
2011
15 years 1 months ago
2011
We introduce the class of Rigid Tree Automata (RTA), an extension of standard bottom-up automata on ranked trees with distinguished states called rigid. Rigid states define a res...
190
click to vote
JIPS
2010
15 years 1 months ago
2010
In order to provide a tailored education for learners within the ubiquitous environment, it is critical to undertake an analysis of the learning activities of learners. For this pu...
181
click to vote
TROB
2010
15 years 1 months ago
2010
The property of form-closure of a grasp, as generally defined in the literature, is based on the assumption that contact points between the hand and the object are fixed in space. ...
216
click to vote
LOGCOM
2011
14 years 9 months ago
2011
Planning as Satisfiability is one of the most well-known and effective techniques for classical planning: satplan has been the winning system in the deterministic track for optim...