1781 search results - page 70 / 357 » Functional Answer Set Programming |
DFG
2004
Springer
14 years 2 months ago
2004
Springer
Programmable Logic Controllers (PLC) are widespread in the manufacturing and processing industries to realize sequential procedures and to avoid safety-critical states. For the spe...
GECCO
2008
Springer
13 years 11 months ago
2008
Springer
The study of common, complex multifactorial diseases in genetic epidemiology is complicated by nonlinearity in the genotype-to-phenotype mapping relationship that is due, in part,...
ICCHP
2004
Springer
2004
Springer
Neuropsychological Function for Accessibility of Computer Program for People with Mental Retardation
14 years 4 months ago
The extent to which people with mental retardation are benefit from the modern information technology is not well explored. A better understanding on ways that the existing human-c...
ERLANG
2006
ACM
14 years 4 months ago
2006
ACM
We present the new model checker McErlang for verifying Erlang programs. In comparison with the etomcrl tool set, McErlang differs mainly in that it is implemented in Erlang. The ...
IJCAI
2003
14 years 3 days ago
2003
Disjunctive Logic Programming (DLP) is a very expressive formalism: it allows to express every property of finite structures that is decidable in the complexity class ¡£¢¤ (...