Sciweavers

2024 search results - page 42 / 405
» The Meaning of Ordered SOS
Sort
View
JSYML
2000
78views more  JSYML 2000»
13 years 8 months ago
On Quantification with A Finite Universe
We consider a finite universe U (more exactly - a family U of them), second order quantifiers QK , where for each U this means quantifying over a family of n(K)-place relations clo...
Saharon Shelah
CSREASAM
2006
13 years 10 months ago
Firewall Design: Understandable, Designable and Testable
Firewalls are the cornerstones of network security. To make firewalls working effectively, firewall manager must design firewall rules and the rule order correctly. In this paper, ...
Yan-ning Huang, Yong Jiang
WSC
2001
13 years 10 months ago
Reducing input parameter uncertainty for simulations
Parameters of statistical distributions that are input to simulations are typically not known with certainty. For existing systems, or variations on existing systems, they are oft...
Szu Hui Ng, Stephen E. Chick
CSL
1998
Springer
13 years 8 months ago
Model parameter estimation for mixture density polynomial segment models
In this paper, we propose parameter estimation techniques for mixture density polynomial segment models (MDPSMs) where their trajectories are specified with an arbitrary regressi...
Toshiaki Fukada, Kuldip K. Paliwal, Yoshinori Sagi...
ICCV
2005
IEEE
14 years 10 months ago
Image Statistics Based on Diffeomorphic Matching
We propose a new approach to deal with the first and second order statistics of a set of images. These statistics take into account the images characteristic deformations and thei...
Guillaume Charpiat, Olivier D. Faugeras, Renaud Ke...