7988 search results - page 371 / 1598 » A Useful Undecidable Theory |
176
click to vote
ICIP
2003
IEEE
16 years 8 months ago
2003
IEEE
Few people use the probability theory in order to achieve image segmentation with snake models. In this article1 , we are presenting an active contour algorithm based on a probabi...
209
click to vote
CADE
2008
Springer
16 years 7 months ago
2008
Springer
Abstract. We introduce the notion of array-based system as a suittraction of infinite state systems such as broadcast protocols or sorting programs. By using a class of quantified-...
166
click to vote
TEI
2010
ACM
16 years 1 months ago
2010
ACM
I present a card brainstorming exercise that transforms a conceptual tangible interaction framework into a tool for creative dialogue and discuss the experiences made in using it....
158
click to vote
ISVD
2007
IEEE
16 years 1 months ago
2007
IEEE
We consider finite sets of oriented spheres in Rk−1 and, by interpreting such spheres as points in Rk , study the Voronoi diagrams they induce for several variants of distance ...
161
click to vote
ATAL
2007
Springer
16 years 29 days ago
2007
Springer
We propose an extension of alternating-time temporal logic, that can be used for reasoning about the behavior and abilities of agents under various rationality assumptions. Catego...