1579 search results - page 182 / 316 » Simulation Model for Self-Adaptive Applications in Pervasive... |
CAV
2001
Springer
14 years 1 months ago
2001
Springer
Model Checking is an algorithmic technique to determine whether a temporal property holds of a program. For linear time properties, a model checker produces a counterexample comput...
JMLR
2006
13 years 9 months ago
2006
Sparsity or parsimony of statistical models is crucial for their proper interpretations, as in sciences and social sciences. Model selection is a commonly used method to find such...
CIC
2003
13 years 10 months ago
2003
- Electronic textiles (e-textiles) are emerging as a novel method for constructing electronic systems in wearable and large area applications. This new type of processing system me...
SIGGRAPH
2000
ACM
14 years 1 months ago
2000
ACM
In this paper we introduce a new light reflection model for image synthesis based on experimental studies of surface gloss perception. To develop the model, we’ve conducted two ...
CVPR
2001
IEEE
14 years 11 months ago
2001
IEEE
Active contour and surface models, also known as deformable models, constitute a class of powerful segmentation techniques. Geometric deformable models implemented via level-set m...