6413 search results - page 631 / 1283 » Classes of cycle bases |
170
click to vote
ICLP
1993
Springer
15 years 11 months ago
1993
Springer
A basic requirement of declarative programming is to free the programmer from the need to manually insert control annotations into the program. Here we study the execution of logi...
247
click to vote
ECHT
1992
15 years 11 months ago
1992
An approach to exible hyperbase hypertext database support predicated on the notion of extensibility is presented. The extensible hypertext platform Hyperform implements basic hyp...
254
click to vote
MM
1994
ACM
15 years 11 months ago
1994
ACM
We have designed, built, and analyzed a distributed parallel storage system that will supply image streams fast enough to permit multi-user, "real-time", video-like appl...
187
click to vote
CAV
2010
Springer
15 years 11 months ago
2010
Springer
We present a class of relaxed memory models, defined in Coq, parameterised by the chosen permitted local reorderings of reads and writes, and the visibility of inter- and intra-pr...
171
click to vote
CLOR
2006
15 years 11 months ago
2006
Abstract. We propose a generative approach to the problem of labeling images containing configurations of objects from multiple classes. The main building blocks are dense statisti...