1709 search results - page 156 / 342 » Precise Modeling of Design Patterns |
107
Voted
CCR
2004
15 years 29 days 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...
126
Voted
DAGM
2010
Springer
14 years 11 months 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...
96
Voted
ATAL
2008
Springer
15 years 3 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...
94
Voted
TGC
2005
Springer
15 years 6 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...
95
Voted
CAD
2002
Springer
15 years 28 days 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 ...