26 search results - page 4 / 6 » The Semantic Grid: Past, Present and Future |
104
Voted
HASKELL
2009
ACM
15 years 8 months ago
2009
ACM
Functional reactive programming (FRP) has simple and powerful semantics, but has resisted efficient implementation. In particular, most past implementations have used demand-driv...
128
click to vote
WWW
2008
ACM
16 years 2 months ago
2008
ACM
The Web is increasingly understood as a global information space consisting not just of linked documents, but also of Linked Data. More than just a vision, the resulting Web of Da...
TABLEAUX
2007
Springer
15 years 7 months ago
2007
Springer
Bi-intuitionistic logic is the extension of intuitionistic logic with a connective dual to implication. Bi-intuitionistic logic was introduced by Rauszer as a Hilbert calculus with...
134
click to vote
LOGCOM
2010
15 years 4 days ago
2010
Bi-intuitionistic logic is the union of intuitionistic and dual intuitionistic logic, and was introduced by Rauszer as a Hilbert calculus with algebraic and Kripke semantics. But ...
134
Voted
ICS
2010
Tsinghua U.
15 years 11 months ago
2010
Tsinghua U.
Computation in the physical world is restricted by the following spatial locality constraint: In a single unit of time, information can only travel a bounded distance in space. A ...