1709 search results - page 156 / 342 » Precise Modeling of Design Patterns |
121
click to vote
CCR
2004
15 years 2 months ago
2004
Protocol and system designers use verification techniques to analyze a system's correctness properties. Network operators need verification techniques to ensure the "cor...
137
click to vote
DAGM
2010
Springer
15 years 15 days ago
2010
Springer
Abstract. Graphical models with higher order factors are an important tool for pattern recognition that has recently attracted considerable attention. Inference based on such model...
105
Voted
ATAL
2008
Springer
15 years 4 months ago
2008
Springer
For the realistic simulation of embodied agents we need a model of emotion that represents both structural and dynamic aspects of emotional phenomena to serve as background suppor...
102
click to vote
TGC
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We present a formal system that models programmable abstractions for access control. Composite abstractions and patterns of arbitrary complexity are modeled as a configu...
106
Voted
CAD
2002
Springer
15 years 2 months ago
2002
Springer
This paper presents a method for three-dimensional surface flattening, which can be efficiently used in threedimensional computer aided garment design. First, facet model is used ...