85 search results - page 12 / 17 » er 1998 |
CP
1998
Springer
15 years 1 months ago
1998
Springer
Abstract. We study the experimental consequences of a recent theoretical result by Achlioptas et al. that shows that conventional models of random problems are trivially insoluble ...
SIGMOD
1998
ACM
15 years 1 months ago
1998
ACM
The functionality of extensible database servers can be augmented by user-de ned functions UDFs . However, the server's security and stability are concerns whenever new code...
SPAA
1998
ACM
15 years 1 months ago
1998
ACM
Sparse LU factorization with partial pivoting is important for many scienti c applications and delivering high performance for this problem is di cult on distributed memory machin...
ESOP
1998
Springer
15 years 1 months ago
1998
Springer
Abstract. In the eld of reactive system programming, data ow synchronous languages like Lustre BCH+85,CHPP87 or Signal GBBG85 o er a syntax similar to block-diagrams, and can be e ...
JELIA
1998
Springer
15 years 1 months ago
1998
Springer
Abstract. One of the maincharacteristics of logical reasoning in knowledge based systems is its high computational complexity. Anytime deduction and anytime compilation are two att...