2765 search results - page 116 / 553 » Works and representation |
162
click to vote
FORTE
2001
15 years 8 months ago
2001
A symbolic semantics for Full LOTOS in terms of symbolic transition systems is defined; the semantics extends the (infinitely branching) standard semantics by giving meaning to da...
144
click to vote
DALT
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Norm-aware agents are able to reason about the obligations, permissions and prohibitions that affect their operation. While much work has focused on the creation of such ...
176
click to vote
FSTTCS
1994
Springer
15 years 11 months ago
1994
Springer
Abstract. This paper surveys work on the synthesis of reactive programs which implement winning strategies in infinite two-person games. The representation of such games by Muller ...
179
click to vote
SMI
2005
IEEE
16 years 13 days ago
2005
IEEE
Distance fields provide an implicit representation of shape that has advantages in many application areas; in this overview, we focus on their use in digital design. Distance fi...
209
click to vote
CVPR
2005
IEEE
16 years 9 months ago
2005
IEEE
Geometric active contours are formulated in a manner which is parametrization independent. As such, they are amenable to representation as the zero level set of the graph of a hig...