3001 search results - page 430 / 601 » Recursive type generativity |
161
click to vote
AIIA
2005
Springer
15 years 12 months ago
2005
Springer
Building profiles for processes and for interactive users is a important task in intrusion detection. This paper presents the results obtained with a Hierarchical Hidden Markov Mo...
184
click to vote
CVBIA
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Markov Random Fields (MRFs) are a popular and wellmotivated model for many medical image processing tasks such as segmentation. Discriminative Random Fields (DRFs), a dis...
135
click to vote
EMO
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. The optimization and design of two different types of photonic devices - a Fibre Bragg Grating and a Microstructured Polymer Optical Fibre is presented in light of multi...
213
click to vote
EUC
2005
Springer
15 years 12 months ago
2005
Springer
As sensor networks mature the current generation of sensor networks that are application-specific and exposed only to a limited set of users will give way to heterogeneous sensor ...
181
click to vote
FASE
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Blast is an automatic verification tool for checking temporal safety properties of C programs. Given a C program and a temporal safety property, Blast statically proves ...