5855 search results - page 953 / 1171 » Test generation and minimization with |
120
click to vote
CHARME
2003
Springer
15 years 7 months ago
2003
Springer
We present a non-operational approach to specifying and analyzing shared memory consistency models. The method uses higher order logic to capture a complete set of ordering constra...
127
click to vote
DEXA
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. Data mining, which aims at extracting interesting information from large collections of data, has been widely used as an effective decision making tool. Mining the datas...
118
Voted
3DPVT
2002
IEEE
15 years 6 months ago
2002
IEEE
In this paper a gesture recognition system using 3D data is described. The system relies on a novel 3D sensor that generates a dense range image of the scene. The main novelty of ...
ICCAD
2002
IEEE
15 years 6 months ago
2002
IEEE
The ultimate goal of logic synthesis is to explore implementation flexibility toward meeting design targets, such as area, power, and delay. Traditionally, such flexibility is exp...
127
click to vote
ICDM
2002
IEEE
15 years 6 months ago
2002
IEEE
This paper describes a novel data mining approach that employs evolutionary programming to discover knowledge represented in Bayesian networks. There are two different approaches ...