619 search results - page 81 / 124 » Generic Extensions and Generic Polynomials |
LPAR
2010
Springer
13 years 5 months ago
2010
Springer
In this paper we introduce an extension of propositional logic that allows clauses to be weighted with values from a generic semiring. The main interest of this extension is that ...
GI
2009
Springer
13 years 5 months ago
2009
Springer
: Data management in the life sciences has evolved from simple storage of data to complex information systems providing additional functionalities like analysis and visualization c...
VIS
2008
IEEE
14 years 9 months ago
2008
IEEE
Abstract--Scatterplots are well established means of visualizing discrete data values with two data variables as a collection of discrete points. We aim at generalizing the concept...
SIGSOFT
2008
ACM
14 years 8 months ago
2008
ACM
Program specifications are important for many tasks during software design, development, and maintenance. Among these, temporal specifications are particularly useful. They expres...
WWW
2006
ACM
14 years 8 months ago
2006
ACM
As the popularity of the web increases and web applications become tools of everyday use, the role of web security has been gaining importance as well. The last years have shown a...