1909 search results - page 42 / 382 » Generalized Filtering Decomposition |
104
click to vote
FCT
2003
Springer
15 years 5 months ago
2003
Springer
This paper presents a method for the decomposition of HML formulae. It can be used to decide whether a process algebra term satisfies a HML formula, by checking whether subterms s...
116
click to vote
IMR
1999
Springer
15 years 4 months ago
1999
Springer
Considerable progress has been made on automatic hexahedral mesh generation in recent years. Several automatic meshing algorithms have proven to be very reliable on certain classe...
96
Voted
WWW
2009
ACM
16 years 1 months ago
2009
ACM
In this poster, a tool named BUCEFALO is presented. This tool is specially designed to improve the information retrieval tasks in web-based Personal Health Records (PHR). This too...
111
Voted
SODA
2004
ACM
15 years 1 months ago
2004
ACM
We introduce the Bloomier filter, a data structure for compactly encoding a function with static support in order to support approximate evaluation queries. Our construction gener...
117
Voted
TSP
2008
15 years 9 days ago
2008
Risk-sensitive filters (RSF) put a penalty to higher-order moments of the estimation error compared to conventional filters as the Kalman filter minimizing the mean square error. ...