4401 search results - page 308 / 881 » Computing with Default Logic |
161
click to vote
ICFP
2003
ACM
16 years 6 months ago
2003
ACM
Under the widely believed conjecture P=NP, NP-complete problems cannot be solved exactly using efficient polynomial time algorithms. Furthermore, any instance of a NP-complete pro...
201
click to vote
ETELEMED
2009
IEEE
16 years 1 months ago
2009
IEEE
The Differential diagnosis (ddx) is a systematic method to identify unknowns. This method, essentially a process of elimination, is used by taxonomists to identify living organism...
132
click to vote
LICS
2007
IEEE
16 years 28 days ago
2007
IEEE
Typing of lambda-terms in Elementary and Light Affine Logic (EAL , LAL resp.) has been studied for two different reasons: on the one hand the evaluation of typed terms using LAL ...
195
click to vote
AB
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. In 1973 R. Thomas introduced a logical approach to modeling and analysis of bioregulatory networks. Given a set of Boolean functions describing the regulatory interaction...
212
click to vote
CMSB
2007
Springer
16 years 25 days ago
2007
Springer
For modeling and analyzing regulatory networks based on qualitative information and possibly additional temporal constraints, approaches using hybrid automata can be very helpful. ...