989 search results - page 176 / 198 » HowNet and Its Computation of Meaning |
VIS
2004
IEEE
16 years 1 months ago
2004
IEEE
Our research deals with a fully automatic and fast visualization of possible tumoral areas on CT Scan images. To achieve this task, we use the bilateral symmetry of the human body...
ICPR
2004
IEEE
16 years 27 days ago
2004
IEEE
Authors Address the problem of recognition and retrieval of relatively weak industrial signal such as Partial Discharges (PD) buried in excessive noise. The major bottleneck being...
113
click to vote
DAC
2003
ACM
16 years 23 days ago
2003
ACM
We present an algorithm that checks behavioral consistency between an ANSI-C program and a circuit given in Verilog using Bounded Model Checking. Both the circuit and the program ...
110
click to vote
SPAA
2009
ACM
16 years 10 days ago
2009
ACM
Transactional memory (TM) eliminates many problems associated with lock-based synchronization. Over recent years, much progress has been made in software and hardware implementati...
SIGMOD
2003
ACM
15 years 12 months ago
2003
ACM
The advent of XML as a universal exchange format, and of Web services as a basis for distributed computing, has fostered the apparition of a new class of documents: dynamic XML do...