1038 search results - page 131 / 208 » Boundary Points and Resolution |
145
click to vote
DGCI
2009
Springer
15 years 7 months ago
2009
Springer
For discrete sets coded by the Freeman chain describing their contour, several linear algorithms have been designed for determining their shape properties. Most of them are based ...
163
click to vote
CAV
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. This paper presents a constraint-based technique for discovering a rich class of inductive invariants (boolean combinations of polynomial inequalities of bounded degree) ...
130
Voted
JURIX
2008
15 years 6 months ago
2008
The two main types of law are legislation and precedents. Both types have a corresponding reasoning pattern determining legal consequences: legislation can be applied and precedent...
153
Voted
IMAMS
2007
15 years 6 months ago
2007
In this paper, we consider the problem of analysing the shape of an object defined by polynomial equations in a domain. We describe regularity criteria which allow us to determine...
126
click to vote
CCCG
2006
15 years 6 months ago
2006
A room is a simple polygon with a prespecified point, called the door, on its boundary. A search starts at the door and must detect any intruder that may be in the room, while maki...