Sciweavers

2529 search results - page 97 / 506
» The Logical Structure of Binding
Sort
View
BMCBI
2005
114views more  BMCBI 2005»
14 years 10 months ago
Systematic analysis of human kinase genes: a large number of genes and alternative splicing events result in functional and stru
Background: Protein kinases are a well defined family of proteins, characterized by the presence of a common kinase catalytic domain and playing a significant role in many importa...
Luciano Milanesi, Mauro Petrillo, Leandra Sepe, An...
CORR
2006
Springer
99views Education» more  CORR 2006»
14 years 10 months ago
Logical settings for concept learning from incomplete examples in First Order Logic
We investigate here concept learning from incomplete examples. Our first purpose is to discuss to what extent logical learning settings have to be modified in order to cope with da...
Dominique Bouthinon, Henry Soldano, Véroniq...
ICCAD
1995
IEEE
113views Hardware» more  ICCAD 1995»
15 years 1 months ago
Logic decomposition during technology mapping
—A problem in technology mapping is that the quality of the final implementation depends significantly on the initially provided circuit structure. This problem is critical, es...
Eric Lehman, Yosinori Watanabe, Joel Grodstein, He...
LAI
1996
128views more  LAI 1996»
14 years 11 months ago
Doxastic Normality Logic: A Qualitative Probabilistic Modal Framework for Defaults and Belief
We propose a new semantics for modeling belief, mixing conncepts from qualitative probabilistic and classical possible world accounts. Our belief structures are coherent sets of q...
Emil Weydert
CSL
2010
Springer
14 years 11 months ago
The Complexity of Positive First-Order Logic without Equality II: The Four-Element Case
We study the complexity of evaluating positive equality-free sentences of first-order (FO) logic over fixed, finite structures B. This may be seen as a natural generalisation of th...
Barnaby Martin, Jos Martin