2008 search results - page 261 / 402 » Computing with Equations |
136
Voted
ENTCS
2006
15 years 3 months ago
2006
Rewriting logic is a flexible and expressive logical framework that unifies algebraic denotational semantics and structural operational semantics (SOS) in a novel way, avoiding th...
123
Voted
MOR
2008
15 years 3 months ago
2008
We prove that if two smooth manifolds intersect transversally, then the method of alternating projections converges locally at a linear rate. We bound the speed of convergence in ...
115
Voted
JUCS
2006
15 years 3 months ago
2006
: Emerging interaction paradigms, such as service-oriented computing, and new technological challenges, such as exogenous component coordination, suggest new roles and application ...
128
Voted
MP
2006
15 years 3 months ago
2006
Using recent progress on moment problems, and their connections with semidefinite optimization, we present in this paper a new methodology based on semidefinite optimization, to ob...
129
Voted
SIAMSC
2008
15 years 3 months ago
2008
In this paper, we propose a new phase flow method for Hamiltonian systems with discontinuous Hamiltonians. In the original phase-flow method introduced by Ying and Cand`es [26], t...