Sciweavers

5128 search results - page 31 / 1026
» Discrete Component Analysis
Sort
View
ICPR
2008
IEEE
14 years 4 months ago
Linear time recognition algorithms for topological invariants in 3D
In this paper, we design linear time algorithms to recognize and determine topological invariants such as genus and homology groups in 3D. These invariants can be used to identify...
Li Chen, Yongwu Rong
IFIP
2010
Springer
13 years 5 months ago
Reasoning about Probabilistic Security Using Task-PIOAs
Abstract. Task-structured probabilistic input/output automata (taskPIOAs) are concurrent probabilistic automata that, among other things, have been used to provide a formal framewo...
Aaron D. Jaggard, Catherine Meadows, Michael Mislo...
ICIAR
2007
Springer
14 years 4 months ago
Parameterless Discrete Regularization on Graphs for Color Image Filtering
A discrete regularization framework on graphs is proposed and studied for color image filtering purposes when images are represented by grid graphs. Image filtering is considered...
Olivier Lezoray, Sébastien Bougleux, Abderr...
ICASSP
2007
IEEE
14 years 4 months ago
ICA-Based Algorithms Applied to Image Coding
Recently, Narozny et al [1] proposed a new viewpoint in variable high-rate transform coding. They showed that the problem of finding the optimal 1-D linear block transform for a ...
Michel Narozny, Michel Barret
FUIN
2007
104views more  FUIN 2007»
13 years 10 months ago
SAT-Based Reachability Checking for Timed Automata with Discrete Data
Reachability analysis for timed automata using SAT-based methods was considered in many papers, occurring to be a very efficient model checking technique. In this paper we show ho...
Andrzej Zbrzezny, Agata Pólrola