2069 search results - page 395 / 414 » Linear time algorithms for Clobber |
175
click to vote
AIPS
2010
15 years 6 months ago
2010
Efficient management and propagation of temporal constraints is important for temporal planning as well as for scheduling. During plan development, new events and temporal constra...
172
click to vote
ENTCS
2008
15 years 5 months ago
2008
The verification of quantitative aspects like performance and dependability by means of model checking has become an important and vivid area of research over the past decade. An ...
152
click to vote
IPPS
1998
IEEE
15 years 9 months ago
1998
IEEE
This paper presents performance results for the design and implementation of parallel pipelined Space-Time Adaptive Processing (STAP) algorithms on parallel computers. In particul...
150
click to vote
SIGIR
1998
ACM
15 years 9 months ago
1998
ACM
Users of Web search engines are often forced to sift through the long ordered list of document “snippets” returned by the engines. The IR community has explored document cluste...
131
click to vote
STACS
1998
Springer
15 years 9 months ago
1998
Springer
We consider Boolean functions represented by decision lists, and study their relationships to other classes of Boolean functions. It turns out that the elementary class of 1-decis...