2529 search results - page 149 / 506 » The Logical Structure of Binding |
184
Voted
ISCA
1999
IEEE
15 years 11 months ago
1999
IEEE
Modern compilers must expose sufficient amounts of Instruction-Level Parallelism (ILP) to achieve the promised performance increases of superscalar and VLIW processors. One of the...
239
click to vote
ICDT
2009
ACM
16 years 7 months ago
2009
ACM
World-set algebra is a variable-free query language for uncertain databases. It constitutes the core of the query language implemented in MayBMS, an uncertain database system. Thi...
148
click to vote
LICS
1998
IEEE
15 years 11 months ago
1998
IEEE
In his well-known paper \How computer should think" ( Be77b]) Belnap argues that four-valued semantics is a very suitable setting for computerized reasoning. In this paper we...
228
click to vote
IJAR
2006
15 years 6 months ago
2006
In spatial reasoning, in particular for applications in image understanding, structure recognition and computer vision, a lot of attention has to be paid to spatial relationships ...
170
click to vote
BMCBI
2010
15 years 7 months ago
2010
Background: Knowledge-based potentials have been widely used in the last 20 years for fold recognition, protein structure prediction from amino acid sequence, ligand binding, prot...