5387 search results - page 661 / 1078 » Generating generic functions |
189
click to vote
ILP
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. In this paper, we study how a logical form of scientific modelling that integrates together abduction and induction can be used to understand the functional class of unk...
169
click to vote
MKM
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. The Mizar system is equipped with a very large library containing tens of thousands of theorems and thousands of definitions, which often use overloaded notation. For e...
200
click to vote
PARA
2004
Springer
16 years 6 days ago
2004
Springer
During the last half-decade, a number of research efforts have centered around developing software for generating automatically tuned matrix multiplication kernels. These include ...
189
click to vote
RTA
2004
Springer
16 years 6 days ago
2004
Springer
Restrictions of rewriting can eventually achieve termination by pruning all infinite rewrite sequences issued from every term. Contextsensitive rewriting (CSR) is an example of su...
182
click to vote
CGI
2003
IEEE
16 years 4 days ago
2003
IEEE
In contrast to the extensively researched modeling of plant architecture, the modeling of plant organs largely remains an open problem. In this paper, we propose a method for mode...