8512 search results - page 369 / 1703 » Computing Theory With Relevance |
164
click to vote
VLDB
1987
ACM
15 years 10 months ago
1987
ACM
Severalmethodshavebeenproposedto compile recursive Datalog programs. The most well-known perform a rewriting of rules using MAGIC or PROBLEM predicates in order to push selections...
148
click to vote
COLING
2010
15 years 1 months ago
2010
Twitter, as one of the most popular micro-blogging services, provides large quantities of fresh information including real-time news, comments, conversation, pointless babble and ...
149
click to vote
CSR
2007
Springer
15 years 10 months ago
2007
Springer
We study the empirical meaning of randomness with respect to a family of probability distributions P, where is a real parameter, using algorithmic randomness theory. In the case w...
152
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
—This paper introduces a method for computing the shape of a continuously-flexible (continuum) robot in 3-D space which includes gravity loading by applying Cosserat rod theory t...
190
click to vote
CALCO
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. This is a theoretical paper giving the extended Stone duality perspective on the recently discovered connection between duality theory as studied in non-classical logic a...