192 search results - page 3 / 39 » Cut Points in PEG |
CSL
2003
Springer
13 years 11 months ago
2003
Springer
System SKS is a set of rules for classical propositional logic presented in the calculus of structures. Like sequent systems and unlike natural deduction systems, it has an explici...
AAAI
2000
13 years 7 months ago
2000
The complexity of numerical domain partitioning depends on the number of potential cut points. In multiway partitioning this dependency is often quadratic, even exponential. There...
COMPGEOM
2004
ACM
13 years 11 months ago
2004
ACM
Let P be a simple polygon with m vertices, k of which are reflex, and which contains r red points and b blue points in its interior. Let n = m + r + b. A ham-sandwich geodesic is ...
HICSS
2005
IEEE
13 years 11 months ago
2005
IEEE
This paper explores the relationships between power system static collapse and flows in topological cuts. It seeks a “local” detection of this “global” phenomenon. The pap...
ISSAC
2005
Springer
13 years 11 months ago
2005
Springer
Given an elementary function with algebraic branch cuts, we show how to decide which sheet of the associated Riemann surface we are on at any given point. We do this by establishi...