4743 search results - page 135 / 949 » The PlusCal Algorithm Language |
120
Voted
CSFW
2008
IEEE
15 years 9 months ago
2008
IEEE
DKAL is a new declarative authorization language for distributed systems. It is based on existential fixed-point logic and is considerably more expressive than existing authoriza...
200
Voted
POPL
2008
ACM
16 years 2 months ago
2008
ACM
We show that the reachability problem for recursive state machines (or equivalently, pushdown systems), believed for long to have cubic worst-case complexity, can be solved in sli...
EXTREME
2004
ACM
15 years 8 months ago
2004
ACM
We argue that there are some special situations where it can be useful to repair well-formedness violations occurring in XML-like input, giving examples from our own work. We anal...
144
Voted
ICIP
2008
IEEE
16 years 4 months ago
2008
IEEE
Reliable segmentation and motion tracking algorithms are required to achieve gesture detection and tracking for human-machine interaction. In this paper we present an efficient me...
124
click to vote
EGH
2007
Springer
15 years 8 months ago
2007
Springer
The enormous flexibility of the modern GPU rendering pipeline as well as the availability of high-level shader languages have led to an increased demand for sophisticated program...