22128 search results - page 490 / 4426 » Research in Structural Computing |
180
click to vote
LPAR
2010
Springer
15 years 5 months ago
2010
Springer
We present a sound and complete model of lambda-calculus reductions based on structures inspired by modal logic (closely related to Kripke structures). Accordingly we can construct...
230
click to vote
PVLDB
2010
15 years 2 months ago
2010
Skyline queries have gained considerable attention for multicriteria analysis of large-scale datasets. However, the skyline queries are known to return too many results for highdi...
193
click to vote
ASAP
1995
IEEE
15 years 11 months ago
1995
IEEE
This paper explores an architecture for parallel independent computations of inner products over the direct product ring . The structure is based on the polynomial mapping of the ...
189
click to vote
AIS
1999
Springer
15 years 7 months ago
1999
Springer
: How are social relations appearing in computers? How are social relations realised in a different kind of medium, in the hardware and software of computers? How are the organisin...
325
click to vote
Book
""The goal of this book is to teach you to think like a computer scientist. I like the way computer scientists think because they combine some of the best features of Mat...