1512 search results - page 156 / 303 » connection 2006 |
144
click to vote
FOSSACS
2006
Springer
15 years 9 months ago
2006
Springer
Metric Temporal Logic (MTL) is a real-time extension of Linear Temporal Logic that was proposed fifteen years ago and has since been extensively studied. Since the early 1990s, it ...
168
click to vote
FPGA
2006
ACM
15 years 9 months ago
2006
ACM
In this paper, we develop an architecture for principal component analysis (PCA) to be used as an outlier detection method for high-speed network intrusion detection systems (NIDS...
173
click to vote
FSTTCS
2006
Springer
15 years 9 months ago
2006
Springer
Termination is one of the most interesting problems when dealing with context-sensitive rewrite systems. Although there is a good number of techniques for proving termination of co...
157
click to vote
AUSAI
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. It is known from psychology and neuroscience that multimodal integration of sensory information enhances the perception of stimuli that are corrupted in one or more modal...
168
click to vote
CSEE
2006
Springer
15 years 8 months ago
2006
Springer
In this paper we describe the use of a tool from Viope for teaching introductory programming. We have noticed in our previous courses that the students often have trouble connecti...