4502 search results - page 568 / 901 » Regular Model Checking |
174
Voted
UM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Words mean different things to different people, and capturing these differences is often a subtle art. These differences are often “a matter of perspective,” and...
158
click to vote
SIGUCCS
2003
ACM
15 years 12 months ago
2003
ACM
DePauw University is a small, liberal arts institution with 2200 undergraduate residential students and 222 faculty members, located in Greencastle, Indiana. The challenges of sup...
188
click to vote
CP
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Interleaved planning and scheduling employs the idea of extending partial plans by regularly heeding to the scheduling constraints during search. One of the techniques us...
207
click to vote
CAV
2000
Springer
15 years 11 months ago
2000
Springer
Address: Abstraction, Composition, Symmetry, and a Little Deduction: The Remedies to State Explosion . . . . . . . . . . . . . . . . . . . . . . . . . . 1 A. Pnueli Invited Address...
198
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: Gene expression microarray and other multiplex data hold promise for addressing the challenges of cellular complexity, refined diagnoses and the discovery of well-targ...