1888 search results - page 117 / 378 » Proof theory and computational analysis |
113
click to vote
COCO
2000
Springer
15 years 5 months ago
2000
Springer
Kolmogorov’s very first paper on algorithmic information theory (Kolmogorov, Problemy peredachi infotmatsii 1(1) (1965), 3) was entitled “Three approaches to the definition ...
KR
2000
Springer
15 years 4 months ago
2000
Springer
Though overriding as a single and default mode of inheritance is adequate for most knowledge bases, a large class of applications naturally requires several inheritance modes and ...
92
Voted
ESCIENCE
2007
IEEE
15 years 7 months ago
2007
IEEE
In this paper, we describe an analysis tool based on the statistical environment R, GridR, which allows using the collection of methodologies available as R packages in a grid env...
112
Voted
CGO
2010
IEEE
15 years 7 months ago
2010
IEEE
Reducing the arithmetic precision of a computation has real performance implications, including increased speed, decreased power consumption, and a smaller memory footprint. For s...
78
Voted
ICDCSW
2005
IEEE
15 years 6 months ago
2005
IEEE
Content-based event matching is an important problem in large-scale event-based publish/subscribe systems. However, open questions remain in ...