5639 search results - page 279 / 1128 » Timed Abstract Non-interference |
131
click to vote
SEBD
2003
15 years 4 months ago
2003
Abstract. In this paper, we present the preliminary results of an ongoing research activity concerning the temporal management of normative texts in XML format. In particular, four...
121
Voted
ANLP
2000
15 years 4 months ago
2000
We compare the asymptotic time complexity of left-to-right and bidirectional parsing techniques for bilexical context-free grammars, a grammar formalis an abstraction of language ...
122
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. We consider quantifier-free spatial logics, designed for qualitative spatial representation and reasoning in AI, and extend them with the means to represent topological c...
110
click to vote
CORR
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Processing compressed strings without decompression is often essential when dealing with massive data sets. We consider local subsequence recognition problems on strings ...
82
Voted
TC
2008
15 years 3 months ago
2008
Abstract-- A radix-2 digit-recurrence algorithm and architecture for the computation of the cube root are presented in this paper. The original recurrence based on the concept of c...