Sciweavers

3454 search results - page 158 / 691
» Modern computer algebra
Sort
View
IJCV
2007
165views more  IJCV 2007»
15 years 6 months ago
Registration of 3D Points Using Geometric Algebra and Tensor Voting
Abstract. We address the problem of finding the correspondences of two point sets in 3D undergoing a rigid transformation. Using these correspondences the motion between the two s...
Leo Reyes, Gérard G. Medioni, Eduardo Bayro...
SIMULATION
2008
139views more  SIMULATION 2008»
15 years 6 months ago
Constitutive Hybrid Processes: a Process-Algebraic Semantics for Hybrid Bond Graphs
Models of physical systems have to be based on physical principles such as conservation of energy and continuity of power. These principles are inherently enforced by the bond gra...
Pieter J. L. Cuijpers, Jan F. Broenink, Pieter J. ...
IAJIT
2010
166views more  IAJIT 2010»
15 years 5 months ago
Specification and Prototyping of Reactive Distributed Systems with Algebraic Term Nets
: The specification of the dynamic behaviour of reactive distributed systems must exhibit the structures of control and has to imply explicitly the relevant aspects of the distribu...
Faiza Bouchoul, Mohamed Mostefai
FSE
2011
Springer
264views Cryptology» more  FSE 2011»
14 years 10 months ago
An Improved Algebraic Attack on Hamsi-256
Hamsi is one of the 14 second-stage candidates in NIST’s SHA-3 competition. The only previous attack on this hash function was a very marginal attack on its 256-bit version publi...
Itai Dinur, Adi Shamir
VTC
2008
IEEE
16 years 26 days ago
Finding the Best QoS Path in a Gilbert Channel Network
—Many different types of modern wired and wireless communication links can be mathematically described as discretebert channels. In this extended abstract, we present an exact me...
Edwin Soedarmadji