3128 search results - page 320 / 626 » Finite element method |
138
click to vote
SODA
1994
ACM
15 years 6 months ago
1994
ACM
Response time delays caused by I/O are a major problem in many systems and database applications. Prefetching and cache replacement methods are attracting renewed attention because...
134
Voted
AAAI
1990
15 years 6 months ago
1990
Current explanation-based generalization (EBG) techniques can perform badly when the problem being solved involves recursion. Often an infinite series of learned concepts are gene...
148
click to vote
IJCAI
1989
15 years 6 months ago
1989
The foundations of a class of logic programming systems with the expressive power of full first-order logic and a non-monotonic component is addressed. The underlying refutation m...
121
click to vote
ANOR
2008
15 years 5 months ago
2008
Level-expanding quasi-birth-and-death (QBD) processes have been shown to be an efficient modeling tool for studying multi-dimensional systems, especially twodimensional ones. Comp...
156
click to vote
APAL
2008
15 years 5 months ago
2008
We solve a longstanding problem by providing a denotational model for nondeterministic programs that identifies two programs iff they have the same range of possible behaviours. W...