Sciweavers

1338 search results - page 160 / 268
» Consistent Code Generation from UML Models
Sort
View
118
Voted
MIDDLEWARE
2004
Springer
15 years 8 months ago
A Content Model for Evaluating Peer-to-Peer Searching Techniques
Simulation studies are frequently used to evaluate new peer-to-peer searching techniques as well as existing techniques on new applications. Unless these studies are accurate in th...
Brian F. Cooper
147
Voted
ICASSP
2011
IEEE
14 years 7 months ago
Collaborative sources identification in mixed signals via hierarchical sparse modeling
A collaborative framework for detecting the different sources in mixed signals is presented in this paper. The approach is based on CHiLasso, a convex collaborative hierarchical s...
Pablo Sprechmann, Ignacio Ramírez, Pablo Ca...
AOSE
2004
Springer
15 years 8 months ago
Formal Semantics for AUML Agent Interaction Protocol Diagrams
Abstract. In this paper we introduce an approach for defining semantics for AUML agent interaction protocol diagrams using Petri net code structures. This approach is based on the...
Lawrence Cabac, Daniel Moldt
129
Voted
FGR
2006
IEEE
144views Biometrics» more  FGR 2006»
15 years 9 months ago
A Layered Deformable Model for Gait Analysis
In this paper, a layered deformable model (LDM) is proposed for human body pose recovery in gait analysis. This model is inspired by the manually labeled silhouettes in [6] and it...
Haiping Lu, Konstantinos N. Plataniotis, Anastasio...
127
Voted
CAV
2010
Springer
187views Hardware» more  CAV 2010»
15 years 7 months ago
Fences in Weak Memory Models
We present a class of relaxed memory models, defined in Coq, parameterised by the chosen permitted local reorderings of reads and writes, and the visibility of inter- and intra-pr...
Jade Alglave, Luc Maranget, Susmit Sarkar, Peter S...