1236 search results - page 128 / 248 » On the Hamkins approximation property |
165
Voted
TGC
2005
Springer
16 years 15 days ago
2005
Springer
Abstract. We present a formal system that models programmable abstractions for access control. Composite abstractions and patterns of arbitrary complexity are modeled as a configu...
199
Voted
NPAR
2004
ACM
16 years 14 days ago
2004
ACM
We present a method to aid in the generation of pen-and-ink style renderings of complex geometry. Most illustration algorithms focus on rendering a small number of surfaces with a...
175
Voted
ISI
2004
Springer
16 years 12 days ago
2004
Springer
Abstract. This work describes a methodology that can be used to identify structure and communication patterns within an organization based on e-mail data. The first step of the me...
190
Voted
SPIN
2004
Springer
16 years 11 days ago
2004
Springer
We propose an algorithm to find a counterexample to some property in a finite state program. This algorithm is derived from SPIN’s one, but it finds a counterexample faster th...
169
click to vote
ICDAR
2003
IEEE
16 years 9 days ago
2003
IEEE
A novel technique is presented in this paper to extract strings in color images of both Business Settlement Plan (BSP) and non-BSP airline coupon. The essential concept is to remo...