4192 search results - page 341 / 839 » Probabilistic Logic Programming |
147
click to vote
ISMVL
1999
IEEE
15 years 10 months ago
1999
IEEE
In the last years two automated reasoning techniques for clause normal form arose in which the use of labels are prominently featured: signed logic and annotated logic programming...
141
click to vote
ACL
2001
15 years 7 months ago
2001
We provide a logical definition of Minimalist grammars, that are Stabler's formalization of Chomsky's minimalist program. Our logical definition leads to a neat relation...
173
click to vote
JUCS
2006
15 years 6 months ago
2006
: We investigate behavioral institutions and refinements in the context of the object oriented paradigm. The novelty of our approach is the application of generalized abstract alge...
169
click to vote
OOPSLA
2009
Springer
16 years 28 days ago
2009
Springer
Programs written in managed languages are compiled to a platform-independent intermediate representation, such as Java bytecode. The relative high level of Java bytecode has engen...
152
click to vote
ATS
2003
IEEE
15 years 11 months ago
2003
IEEE
Recent probabilistic test generation approaches have proven that detecting single stuck-at faults multiple times is effective at reducing the defective part level (DPL). Unfortuna...