2853 search results - page 221 / 571 » On Coherence in Computer Algebra |
145
Voted
TGC
2007
Springer
15 years 11 months ago
2007
Springer
Many techniques exist for statically computing properties of the evolution of processes expressed in process algebras. Static analysis has shown how to obtain useful results that c...
195
Voted
AMC
2011
15 years 20 days ago
2011
This is a companion paper of [1] and [2]. In the cited papers, using the C-algorithm introduced in [3], many new examples of isochronous centers for Li´enard type equation are fou...
145
Voted
ICCV
2011
IEEE
14 years 5 months ago
2011
IEEE
In recent years polynomial solvers based on algebraic geometry techniques, and specifically the action matrix method, have become popular for solving minimal problems in computer...
152
click to vote
PRDC
2009
IEEE
16 years 10 days ago
2009
IEEE
Abstract—In this paper, we study algebraic aggregate computations in Sensor Networks. The main contribution is the presentation of an early-stopping protocol that computes the av...
163
click to vote
COMPGEOM
2005
ACM
15 years 7 months ago
2005
ACM
An open question in Exact Geometric Computation is whether there are transcendental computations that can be made “geometrically exact”. Perhaps the simplest such problem in c...