5210 search results - page 341 / 1042 » Exact geometric computation |
180
click to vote
IPL
2006
15 years 6 months ago
2006
In this paper we investigate P systems whose compartments contain sets of symbolobjects rather than multisets of objects, as it is common in membrane computing. If the number of m...
184
click to vote
PPSN
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We present a new method for proving lower bounds in evolutionary computation based on fitness-level arguments and an additional condition on transition probabilities bet...
159
click to vote
COLING
2010
15 years 1 months ago
2010
This article delves into the scoring function of the statistical paraphrase generation model. It presents an algorithm for exact computation and two applicative experiments. The f...
161
click to vote
ICFP
2003
ACM
16 years 6 months ago
2003
ACM
All classical -terms typable with disjunctive normal forms are shown to share a common computational behavior: they implement a local exception handling mechanism whose exact work...
167
click to vote
LICS
2008
IEEE
16 years 1 months ago
2008
IEEE
We show that reachability and termination for lossy channel systems is exactly at level Fωω in the Fast-Growing Hierarchy of recursive functions, the first level that dominates...