1730 search results - page 199 / 346 » Algebra and Computation |
124
click to vote
ICCV
2005
IEEE
15 years 9 months ago
2005
IEEE
We present a solution for optimal triangulation in three views. The solution is guaranteed to find the optimal solution because it computes all the stationary points of the (maxi...
180
Voted
JCSC
1998
15 years 3 months ago
1998
: Continuous and hybrid Petri nets can be seen as relaxation of discrete nets, in which the firing of some or of all transitions is approximated with a fluid model. Several analysi...
120
click to vote
AAECC
1993
Springer
15 years 8 months ago
1993
Springer
Symplectic integrators are numerical integration schemes for hamiltonian systems. The integration step is an explicit symplectic map. We find symplectic integrators using universa...
139
click to vote
MMMACNS
2005
Springer
15 years 9 months ago
2005
Springer
A new model for representing temporal access control policies is introduced. In this model, temporal authorizations are represented by time attributes associated with both subjects...
165
click to vote
CASC
2009
Springer
15 years 5 months ago
2009
Springer
We consider Presburger arithmetic extended by infinity. For this we give an effective quantifier elimination and decision procedure which implies also the completeness of our exten...