2853 search results - page 188 / 571 » On Coherence in Computer Algebra |
282
click to vote
ICCSA
2011
Springer
14 years 8 months ago
2011
Springer
This paper describes an ongoing implementation of an open source library dealing with parametric representation of dynamic geometry constructions. We show how some current issues i...
147
click to vote
CVPR
1999
IEEE
16 years 6 months ago
1999
IEEE
We investigate the motions that lead to ambiguous Euclidean scene reconstructions under several common calibration constraints, giving a complete description of such critical moti...
140
Voted
CMSB
2009
Springer
15 years 11 months ago
2009
Springer
Bio-PEPA is a process algebra for modelling biological systems. An important aspect of Bio-PEPA is the ability it provides to discretise concentrations resulting in a smaller, more...
128
click to vote
CODES
2008
IEEE
15 years 11 months ago
2008
IEEE
The compositional computation of Pareto points in multi-dimensional optimization problems is an important means to efficiently explore the optimization space. This paper presents ...
132
click to vote
IPPS
2008
IEEE
15 years 11 months ago
2008
IEEE
In this paper, we identify that protocol verification using invariants have significant limitations such as inapplicability to some protocols, non-standard attacker inferences a...