1620 search results - page 8 / 324 » eg 2010 |
CADE
2010
Springer
13 years 8 months ago
2010
Springer
It has recently been shown that proofs in which some symbols are colored (e.g. local or split proofs and symbol-eliminating proofs) can be used for a number of applications, such a...
AAECC
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. Starting with Karr's structural theorem for summation --the discrete version of Liouville's structural theorem for integration-- we work out crucial properties ...
ECTEL
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. We present a simple and extendible framework to collect attention metadata and store them for further analysis. Currently, several metadata collectors have been implement...
JELIA
2010
Springer
13 years 5 months ago
2010
Springer
Action languages allow for compactly describing dynamic domains. They are usually implemented by compilation, e.g., to Answer Set Programming. To this end, we developed a tool, cal...
PPSN
2010
Springer
13 years 5 months ago
2010
Springer
An important step in gaining a better understanding of the stochastic dynamics of evolving populations, is the development of appropriate analytical tools. We present a new drift t...