10910 search results - page 223 / 2182 » Input modeling using a computer algebra system |
148
click to vote
ECCV
2006
Springer
16 years 7 months ago
2006
Springer
Abstract. In order to reconstruct 3-D Euclidean shape by the TomasiKanade factorization, one needs to specify an affine camera model such as orthographic, weak perspective, and par...
133
click to vote
CORR
2006
Springer
15 years 5 months ago
2006
Springer
We consider the model of population protocols introduced by Angluin et al. [AAD+ 04], in which anonymous finite-state agents stably compute a predicate of the multiset of their in...
139
click to vote
DNA
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Motivated by recent techniques developed for observing evolutionary dynamics of a single DNA molecule, we introduce a formal model for accepting an observed behavior of a...
166
click to vote
WMTE
2002
IEEE
15 years 10 months ago
2002
IEEE
Based on experience in orchestrating co llaborative learning scenarios with ubiquitous computing technology, two strategies for extending a co -constructive modeling environment w...
143
click to vote
CTCS
1997
Springer
15 years 9 months ago
1997
Springer
Monads can be used to model term rewriting systems by generalising the well-known equivalence between universal algebra and monads on the category Set. In [L¨u96], this semantics ...