Sciweavers

458 search results - page 15 / 92
» Universal Temporal Data Languages
Sort
View
DT
2006
113views more  DT 2006»
13 years 10 months ago
The Challenges of Synthesizing Hardware from C-Like Languages
at their abstractions are similar to data types and operations supplied by conventional processors. A core principle of BCPL is its memory model: an The Challenges of Synthesizing ...
Stephen A. Edwards
CLEF
2005
Springer
14 years 4 months ago
Ad-Hoc Mono- and Bilingual Retrieval Experiments at the University of Hildesheim
This paper reports on our participation in CLEF 2005‘s ad-hoc multi-lingual retrieval track. The ad-hoc task introduced Bulgarian and Hungarian as new languages. Our experiments...
René Hackl, Thomas Mandl, Christa Womser-Ha...
ECSQARU
1997
Springer
14 years 2 months ago
Cactus: A Branching-Time Logic Programming Language
Abstract. Temporal programming languages are recognized as natural and expressive formalisms for describing dynamic systems. However, most such languages are based on linear ow of ...
Panos Rondogiannis, Manolis Gergatsoulis, Themis P...
ACSAC
2001
IEEE
14 years 2 months ago
Temporal Signatures for Intrusion Detection
We introduce a new method for detecting intrusions based on the temporal behavior of applications. It builds on an existing method of application intrusion detection developed at ...
Anita Jones, Song Li
MVA
2007
114views Computer Vision» more  MVA 2007»
14 years 6 days ago
Sign Language Recognition Using Boosted Volumetric Features
This paper proposes a method for sign language recognition that bypasses the need for tracking by classifying the motion directly. The method uses the natural extension of haar li...
Helen Cooper, Richard Bowden