1626 search results - page 299 / 326 » Hybrid computing algorithm in representing solid model |
109
click to vote
MM
2003
ACM
15 years 7 months ago
2003
ACM
Although statistical characteristics of audio features are widely used for similarity measure in most of current audio analysis systems and have been proved to be effective, they ...
112
click to vote
ICMCS
1999
IEEE
15 years 6 months ago
1999
IEEE
In this paper, a technique is presented for CT image analysis and visualization of the bronchial airways. The technique provides a non-invasive way to examine the interior of the ...
109
click to vote
ARTS
1997
Springer
15 years 6 months ago
1997
Springer
In 10 , an algebra for timed automata has been introduced. In this article, we introduce a syntactic characterisation of nite timed automata in terms of that process algebra. We s...
93
Voted
FASE
2010
Springer
15 years 5 months ago
2010
Springer
Runtime assertion checking is useful for debugging programs and specifications. Existing tools check invariants as well as method preand postconditions, but mostly ignore assignabl...
135
click to vote
AAAI
2007
15 years 4 months ago
2007
Our work links Chinese calligraphy to computer science through an integrated intelligence approach. We first extract strokes of existent calligraphy using a semi-automatic, twoph...