42738 search results - page 536 / 8548 » Search Computing Systems |
255
click to vote
SPATIALCOGNITION
2000
Springer
15 years 10 months ago
2000
Springer
The paper analyzes a diagrammatic reasoning problem that consists in finding a graphical layout which simultaneously satisfies a set of constraints expressed in a formal language a...
230
click to vote
CIKM
2005
Springer
16 years 22 days ago
2005
Springer
Search engines process queries conjunctively to restrict the size of the answer set. Further, it is not rare to observe a mismatch between the vocabulary used in the text of Web p...
203
click to vote
SIGUCCS
2004
ACM
16 years 18 days ago
2004
ACM
Designing computing equipment for a computer laboratory is not easy. In a class in a computer laboratory, it is not unusual that all students do the same thing simultaneously. Tre...
211
click to vote
AISC
2004
Springer
16 years 18 days ago
2004
Springer
ion Within Partial Deduction for Linear Logic . . . . . . . . . . . . . . . . . 52 P. K¨ungas A Decision Procedure for Equality Logic with Uninterpreted Functions . . . 66 O. Tver...
199
click to vote
DELOS
2004
15 years 8 months ago
2004
Abstract. Nowadays, digital libraries are inherently dispersed over several peers of a steadily increasing network. Dedicated peers may provide specialized, computationally expensi...