7890 search results - page 1164 / 1578 » The MathSAT 3 System |
164
click to vote
PPAM
2005
Springer
16 years 11 days ago
2005
Springer
We propose a new framework, named Simple Interface for Library Collections (SILC), that gives users access to matrix computation libraries in a flexible and environment-independen...
192
click to vote
TABLEAUX
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. Description Logics (DLs) are a family of logic based knowledge representation formalisms. Although they have a range of applications (e.g., configuration and information...
193
click to vote
WINE
2005
Springer
16 years 11 days ago
2005
Springer
We consider the following allocation problem arising in the setting of combinatorial auctions: a set of goods is to be allocated to a set of players so as to maximize the sum of t...
187
click to vote
SIGMETRICS
2004
ACM
16 years 9 days ago
2004
ACM
A large variety of communication systems, including telephone and data networks, can be represented by so-called Whittle networks. The stationary distribution of these networks is...
196
click to vote
ASIAN
2004
Springer
16 years 8 days ago
2004
Springer
Natural images and photographs sometimes may contain stains or undesired objects covering significant portions of the images. Inpainting is a method to fill in such portions using ...