Sciweavers

1180 search results - page 115 / 236
» A generic structure-from-motion framework
Sort
View
ESANN
2006
15 years 7 days 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 7 days 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
JUCS
2008
240views more  JUCS 2008»
14 years 10 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
88
Voted
ICSE
2009
IEEE-ACM
14 years 8 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
91
Voted
NHM
2010
141views more  NHM 2010»
14 years 5 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