8828 search results - page 1180 / 1766 » Formal methods in practice |
173
click to vote
ICCBR
1995
Springer
15 years 11 months ago
1995
Springer
In this work, we are interested in how rational decision makers reason with and about reasons in a domain, practical ethics, where they appear to reason asons symbolically in terms...
186
click to vote
ICDAR
1995
IEEE
15 years 11 months ago
1995
IEEE
There is an increasingly pressing need to develop document analysis methods that are able to cope with images of documents containing printed regions of complex shapes. Contrary t...
148
click to vote
SIGGRAPH
1995
ACM
15 years 11 months ago
1995
ACM
This paper describes a method for synthesizing images that match the texture appearanceof a given digitized sample. This synthesisis completely automatic and requires only the “...
188
click to vote
WADS
1995
Springer
15 years 11 months ago
1995
Springer
We consider the problem of obtaining “nice” quadrangulations of planar sets of points. For many applications “nice” means that the quadrilaterals obtained are convex if po...
194
click to vote
SIGGRAPH
1991
ACM
15 years 10 months ago
1991
ACM
A general light transfer simulation algorithm for environments composed of materials with arbitrary reflectance functions is presented. This algorithm removes the previous practic...