1888 search results - page 198 / 378 » Proof theory and computational analysis |
68
Voted
BIRTHDAY
2009
Springer
15 years 7 months ago
2009
Springer
Lappin and Francez (1994) present a theory of donkey anaphora which, they claim, captures both their existential and their universal readings, while maintaining a uniform represent...
102
click to vote
CASES
2006
ACM
15 years 6 months ago
2006
ACM
Technology trends have led to the advent of multi-core chips in the form of both general-purpose chip multiprocessors (CMPs) and embedded multi-processor systems-on-a-chip (MPSoCs...
125
Voted
BMCBI
2005
15 years 21 days ago
2005
Background: Graph theory provides a computational framework for modeling a variety of datasets including those emerging from genomics, proteomics, and chemical genetics. Networks ...
117
click to vote
LCTRTS
2010
Springer
15 years 7 months ago
2010
Springer
This paper extends the methodology of analytic real-time analysis of distributed embedded systems towards merging and extracting sub-streams based on event type information. For e...
102
click to vote
GECCO
2009
Springer
15 years 7 months ago
2009
Springer
In this paper, we rigorously analyse how the magnitude and frequency of change may affect the performance of the algorithm (1+1) EAdyn on a set of artificially designed pseudo-Bo...