1341 search results - page 227 / 269 » Periods in Extensions of Words |
LICS
2010
IEEE
13 years 6 months ago
2010
IEEE
Alternating timed automata are a powerful extension of classical Alur-Dill timed automata that are closed under all Boolean operations. They have played a key role, among others, ...
PKDD
2010
Springer
13 years 6 months ago
2010
Springer
Current knowledge bases suffer from either low coverage or low accuracy. The underlying hypothesis of this work is that user feedback can greatly improve the quality of automatica...
RAID
2010
Springer
13 years 6 months ago
2010
Springer
Network intrusion detection systems (NIDS) make extensive use of regular expressions as attack signatures. Internally, NIDS represent and operate these signatures using finite au...
RAID
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. Malware attacks necessitate extensive forensic analysis efforts that are manual-labor intensive because of the analysis-resistance techniques that malware authors employ....
RAS
2010
13 years 6 months ago
2010
This paper describes a novel registration approach that is based on a combination of visual and 3D range information. To identify correspondences, local visual features obtained f...