2585 search results - page 409 / 517 » Automating Coherent Logic |
174
click to vote
ICAC
2009
IEEE
16 years 1 months ago
2009
IEEE
Dynamic adaptation may be used to prevent software downtime while new requirements and responses to environmental conditions are incorporated into the system. Previously, we studi...
137
click to vote
LICS
2009
IEEE
16 years 27 days ago
2009
IEEE
—One-counter processes are pushdown systems over a singleton stack alphabet (plus a stack-bottom symbol). We study the complexity of two closely related verification problems ov...
166
click to vote
HYBRID
2010
Springer
16 years 23 days ago
2010
Springer
Probabilistic Computation Tree Logic (PCTL) is a wellknown modal logic which has become a standard for expressing temporal properties of finite-state Markov chains in the context...
164
click to vote
FUZZIEEE
2007
IEEE
16 years 18 days ago
2007
IEEE
— This article presents a self-fuzzification method to enhance the settings of a Fuzzy Reasoning Classification adapted to the automated inspection of wooden boards. The supervis...
161
click to vote
LICS
2007
IEEE
16 years 16 days ago
2007
IEEE
Set theories are traditionally based on first-order logic. We show that in a constructive setting, basing a set theory on a dependent logic yields many benefits. To this end, we...