1699 search results - page 230 / 340 » On the Expressive Power of QLTL |
148
click to vote
ICADL
2005
Springer
15 years 11 months ago
2005
Springer
Search engines of main-stream literature digital libraries such as ACM Digital Library, Google Scholar, and PubMed employ file-based systems, and provide users with a basic boolean...
138
click to vote
AGP
2003
IEEE
15 years 11 months ago
2003
IEEE
Abstract. Logic programming has often been considered less than adequate for modelling the dynamics of knowledge changing over time. Evolving Logic Programs (EVOLP) has been recent...
159
click to vote
ICDM
2003
IEEE
15 years 11 months ago
2003
IEEE
Clustering is the process of grouping a set of objects into classes of similar objects. Because of unknownness of the hidden patterns in the data sets, the definition of similari...
150
click to vote
CIA
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Logic programming has often been considered less than adequate for modelling the dynamics of knowledge changing over time. In this paper we describe Evolving Logic Progra...
152
click to vote
CASES
2009
ACM
15 years 10 months ago
2009
ACM
2's complement number system imposes a fundamental limitation on the power and performance of arithmetic circuits, due to the fundamental need of cross-datapath carry propaga...