4513 search results - page 601 / 903 » Modeling with a Sense of Purpose |
187
click to vote
ICEIS
1999
IEEE
15 years 11 months ago
1999
IEEE
: Contour Estimation, Bayesian Estimation, Random Fields, Dynamic Programming, Multigrid Methods. This paper addresses contour estimation on images modeled as piecewise homogeneous...
169
Voted
LPNMR
1999
Springer
15 years 11 months ago
1999
Springer
We introduce choice logic programs as negation-free datalog programs that allow rules to have exclusive-only (possibly empty) disjunctions in the head. Such programs naturally mod...
175
click to vote
MICCAI
1999
Springer
15 years 11 months ago
1999
Springer
Tactile imaging is a newly developed mechanical sensing technology for documenting the properties of hard lumps contained in soft tissue. An examiner strokes a scan head across tis...
198
click to vote
CSFW
2004
IEEE
15 years 10 months ago
2004
IEEE
Recently we showed how to justify a Dolev-Yao type model of cryptography as used in virtually all automated protocol provers under active attacks and in arbitrary protocol environ...
202
click to vote
LICS
1998
IEEE
15 years 10 months ago
1998
IEEE
Probabilistic I/O automata (PIOA) constitute a model for distributed or concurrent systems that incorporates a notion of probabilistic choice. The PIOA model provides a notion of ...