21319 search results - page 3701 / 4264 » An Approach for Method Reengineering |
189
click to vote
IPMU
2010
Springer
15 years 9 months ago
2010
Springer
The classification of remote sensing images performed with different classifiers usually produces different results. The aim of this paper is to investigate whether the outputs of ...
189
Voted
CDC
2008
IEEE
15 years 9 months ago
2008
IEEE
In this paper, we present a series of distributed algorithms for coverage verification in sensor networks with no location information. We demonstrate how, in the absence of locali...
178
click to vote
CDC
2008
IEEE
15 years 9 months ago
2008
IEEE
In this paper, we develop an automated framework for formal verification of timed continuous Petri nets (contPN). Specifically, we consider two problems: (1) given an initial set o...
163
click to vote
CDC
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract-- This paper introduces a global uncertainty propagation scheme for the attitude dynamics of a rigid body, through a combination of numerical parametric uncertainty techni...
210
click to vote
CIBB
2008
15 years 9 months ago
2008
During the last decade, several clustering and association rule mining techniques have been applied to highlight groups of coregulated genes in gene expression data. Nowadays, inte...