503 search results - page 43 / 101 » A Cell-Cycle Knowledge Integration Framework |
137
click to vote
AUTOMATICA
1999
15 years 3 months ago
1999
This paper proposes a framework for modeling and controlling systems described by interdependent physical laws, logic rules, and operating constraints, denoted as mixed logical dy...
141
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: Whole genome association studies using highly dense single nucleotide polymorphisms (SNPs) are a set of methods to identify DNA markers associated with variation in a ...
151
click to vote
JIRS
2000
15 years 3 months ago
2000
Agents (hardware or software) that act autonomously in an environment have to be able to integrate three basic behaviors: planning, execution, and learning. This integration is man...
140
click to vote
JAR
1998
15 years 3 months ago
1998
Mechanized reasoning systems and computer algebra systems have different objectives. Their integration is highly desirable, since formal proofs often involve both of the two differ...
157
click to vote
ICTAC
2009
Springer
15 years 1 months ago
2009
Springer
Testing from first-order specifications has mainly been studied for flat specifications, that are specifications of a single software module. However, the specifications of large s...