Sciweavers

1180 search results - page 115 / 236
» A generic structure-from-motion framework
Sort
View
ESANN
2006
15 years 5 months ago
Semi-Blind Approaches for Source Separation and Independent component Analysis
Abstract. This paper is a survey of semi-blind source separation approaches. Since Gaussian iid signals are not separable, simplest priors suggest to assume non Gaussian iid signal...
Massoud Babaie-Zadeh, Christian Jutten
DAGSTUHL
2003
15 years 5 months ago
Operational Semantics of Security Protocols
Based on a concise domain analysis we develop a formal semantics of security protocols. Its main virtue is that it is a generic model, in the sense that it is parameterized over e...
Cas J. F. Cremers, Sjouke Mauw
144
Voted
JUCS
2008
240views more  JUCS 2008»
15 years 4 months ago
UCL-GLORP - An ORM for Common Lisp
: UCL-GLORP is a Common Lisp implementation and extension of GLORP (Generic Lightweight Object-Relational Persistence), an Object-Relational Mapper for the Smalltalk language. UCL-...
António Menezes Leitão
ICSE
2009
IEEE-ACM
15 years 1 months ago
Improving conflict resolution in model versioning systems
Collaborative software development is nowadays inconceivable without optimistic version control systems (VCSs). Without such systems the parallel modification of one artifact by m...
Petra Broschy
NHM
2010
141views more  NHM 2010»
14 years 11 months ago
Remarks on discretizations of convection terms in Hybrid mimetic mixed methods
We present different ways, coming from Finite Volume or Mixed Finite Element frameworks, to discretize convection terms in Hybrid Finite Volume, Mimetic Finite Difference and Mixed...
Jérôme Droniou