Sciweavers

460 search results - page 56 / 92
» Abstract and Discrete Modeling of Spatio-Temporal Data Types
Sort
View
APLAS
2005
ACM
14 years 2 months ago
A Simple Semantics for Polymorphic Recursion
Abstract. Polymorphic recursion is a useful extension of HindleyMilner typing and has been incorporated in the functional programming language Haskell. It allows the expression of ...
William L. Harrison
TIP
2008
121views more  TIP 2008»
13 years 8 months ago
Bistatic Synthetic Aperture Radar Imaging for Arbitrary Flight Trajectories
Abstract--In this paper, we present an analytic, filtered backprojection (FBP) type inversion method for bistatic synthetic aperture radar (BISAR). We consider a BISAR system where...
Can Evren Yarman, Birsen Yazici, Margaret Cheney
AUSAI
2003
Springer
14 years 1 months ago
Combining Multiple Host-Based Detectors Using Decision Tree
Abstract. As the information technology grows interests in the intrusion detection system (IDS), which detects unauthorized usage, misuse by a local user and modification of impor...
Sang-Jun Han, Sung-Bae Cho
ESOP
2011
Springer
13 years 4 days ago
Measure Transformer Semantics for Bayesian Machine Learning
Abstract. The Bayesian approach to machine learning amounts to inferring posterior distributions of random variables from a probabilistic model of how the variables are related (th...
Johannes Borgström, Andrew D. Gordon, Michael...
ECCV
2004
Springer
14 years 10 months ago
3D Human Body Tracking Using Deterministic Temporal Motion Models
Abstract. There has been much effort invested in increasing the robustness of human body tracking by incorporating motion models. Most approaches are probabilistic in nature and se...
Raquel Urtasun, Pascal Fua