7055 search results - page 220 / 1411 » Some New 4-Designs |
167
click to vote
GRC
2005
IEEE
16 years 7 days ago
2005
IEEE
An incremental target recognition algorithm based on improved discernibility matrix in rough set theory is presented. We compare the new approach with our previous nonincremental a...
152
click to vote
ITCC
2005
IEEE
16 years 6 days ago
2005
IEEE
Hypergraphs are a very powerful tool and can represent many problems. In this paper we define a new image representation based on hypergraphs. This representation conducts to a n...
143
click to vote
ATVA
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. Symbolic model checking provides partially effective verification procedures that can handle systems with an infinite state space. So-called “acceleration techniques...
135
click to vote
UC
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. We propose a novel formulation of the firing squad synchronization problem. In this formulation we may use more than one general state and the general state to be used i...
172
Voted
AC
2003
Springer
15 years 12 months ago
2003
Springer
Concentration inequalities deal with deviations of functions of independent random variables from their expectation. In the last decade new tools have been introduced making it pos...