2225 search results - page 123 / 445 » Logical Structures in the Lexicon |
166
click to vote
ICML
2000
IEEE
16 years 7 months ago
2000
IEEE
This paper introduces a foundation for inductive learning based on the use of higher-order logic for knowledge representation. In particular, the paper (i) provides a systematic i...
202
click to vote
BTW
2007
Springer
16 years 18 days ago
2007
Springer
: Over the recent years, very little effort has been made to give XPath a proper algebraic treatment. The only laudable exception is the Natix Algebra (NAL) which defines the tran...
170
click to vote
PPDP
2005
Springer
15 years 12 months ago
2005
Springer
The paper describes a constraint-based solution to the protein folding problem on face-centered cubic lattices—a biologically meaningful approximation of the general protein fol...
150
click to vote
FPL
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Increasing logic resources coupled with a proliferation of integrated performance enhancing primitives in high-end FPGAs results in an increased design complexity which r...
159
click to vote
FCCM
2003
IEEE
15 years 11 months ago
2003
IEEE
FPGAs have appealing features such as customizable internal and external bandwidth and the ability to exploit vast amounts of fine-grain parallelism. In this paper we explore the ...