331 search results - page 3 / 67 » Fragments of order |
IJFCS
2008
13 years 5 months ago
2008
ACSAC
2003
IEEE
13 years 11 months ago
2003
IEEE
Reassembly of fragmented objects from a collection of randomly mixed fragments is a common problem in classical forensics. In this paper we address the digital forensic equivalent...
CAV
2010
Springer
13 years 9 months ago
2010
Springer
We present an approach to monitoring system policies. As a specification language, we use an expressive fragment of a temporal logic, which can be effectively monitored. We repor...
ENTCS
2010
13 years 5 months ago
2010
The validity/satisfiability problem for most propositional interval temporal logics is (highly) undecidable, under very weak assumptions on the class of interval structures in whi...
NLPRS
2001
Springer
13 years 10 months ago
2001
Springer
This paper presents a three-phase approach to find the correspondence in Target Language (TL) sentence for a fragment of Source Language (SL) sentence in a lexicalized EBMT system...