14331 search results - page 132 / 2867 » On the modeling and analysis of obligations |
181
click to vote
RT
2005
Springer
15 years 12 months ago
2005
Springer
The Bidirectional Reflectance Distribution Function (BRDF) describes the appearance of a material by its interaction with light at a surface point. A variety of analytical models...
196
click to vote
FM
2008
Springer
15 years 8 months ago
2008
Springer
The declarative modeling language Alloy and its automatic analyzer provide an effective tool-set for building designs of systems and checking their properties. The Alloy Analyzer p...
173
click to vote
FGR
2006
IEEE
16 years 13 days ago
2006
IEEE
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...
157
click to vote
CCE
2004
15 years 6 months ago
2004
Bifurcation theory provides a powerful tool for analyzing the nonlinear dynamic behavior of process systems. However, although the theory in principle applies to lumped as well as...
158
click to vote
VTC
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract—We present the estimation and evaluation of deployment models for sensor networks that exploit different amounts of a priori information. Topologies generated from the m...