327 search results - page 45 / 66 » Some Elimination Problems for Matrices |
100
Voted
TPDS
1998
15 years 1 months ago
1998
—A matrix A of size m n containing items from a totally ordered universe is termed monotone if, for every i, j, 1 i < j m, the minimum value in row j lies below or to...
126
click to vote
GPCE
2004
Springer
15 years 7 months ago
2004
Springer
Scheme includes a simple yet powerful macro mechanism. Using macros, programmers can easily extend the language with new kinds of expressions and definitions, thus abstracting ove...
86
Voted
CADE
2002
Springer
16 years 2 months ago
2002
Springer
Abstract. Finite model search for first-order logic theories is complementary to theorem proving. Systems like Falcon, SEM and FMSET use the known LNH (Least Number Heuristic) heur...
154
Voted
ISPAN
2002
IEEE
15 years 6 months ago
2002
IEEE
In the directed acyclic graph (dag) model of algorithms, consider the following problem for precedence-constrained multiprocessor schedules for array computations: Given a sequenc...
104
click to vote
ECIS
2001
15 years 3 months ago
2001
With current projections regarding the growth of Internet sales, online retailing raises many questions about how to market on the Net. While convenience impels consumers to purch...