2529 search results - page 142 / 506 » The Logical Structure of Binding |
174
click to vote
TABLEAUX
2009
Springer
16 years 1 months ago
2009
Springer
We study the logic of comparative concept similarity CSL introduced by Sheremet, Tishkovsky, Wolter and Zakharyaschev to capture a form of qualitative similarity comparison. In thi...
179
click to vote
AGI
2008
15 years 8 months ago
2008
: A series of hypotheses is proposed, connecting neural structures and dynamics with the formal structures and processes of probabilistic logic. First, a hypothetical connection is...
206
click to vote
ICCD
2004
IEEE
16 years 3 months ago
2004
IEEE
Compared are different methods for evaluation of formulas expressing microprocessor correctness in the logic of Equality with Uninterpreted Functions and Memories (EUFM) by transl...
185
click to vote
WWW
2003
ACM
16 years 7 months ago
2003
ACM
XQuery, the standard query language for XML, is gaining popularity among users with a SQL background; indeed, formulating XQuery and SQL queries requires comparable skills. Howeve...
189
click to vote
GCB
2009
Springer
15 years 10 months ago
2009
Springer
Abstract: Graphs are often used to describe and analyze the geometry and physicochemical composition of biomolecular structures, such as chemical compounds and protein active sites...