4299 search results - page 697 / 860 » Concurrent Test Generation |
201
click to vote
CHARME
2003
Springer
16 years 6 days 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...
190
click to vote
CLEF
2003
Springer
16 years 6 days ago
2003
Springer
Abstract. The TextMap-TMT cross-language question answering system at USC-ISI was designed to answer Spanish questions from English documents. The system is fully automatic, includ...
217
click to vote
DEXA
2003
Springer
16 years 6 days 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...
187
click to vote
3DPVT
2002
IEEE
15 years 12 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 ...
187
Voted
ICCAD
2002
IEEE
15 years 12 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...