279 search results - page 31 / 56 » Testing for Refinement in CSP |
166
click to vote
SSDBM
2006
IEEE
15 years 12 months ago
2006
IEEE
Biological web data sources have now become essential information sources for researchers. However, their use is tedious, labor-intensive, repetitive, and possibly involve the int...
152
click to vote
IDEAL
2004
Springer
15 years 11 months ago
2004
Springer
It is indispensable that the users surfing on the Internet could have web pages classified into a given topic as correct as possible. Toward this ends, this paper presents a topic-...
158
click to vote
ITC
2000
IEEE
15 years 10 months ago
2000
IEEE
In this paper we present a design for IEEE 1149.1 Test Access Port (TAP)controllers that is based on a practical reuse methodology. While the basic use and core functionality of T...
171
click to vote
VISUALIZATION
1998
IEEE
15 years 10 months ago
1998
IEEE
This paper describes some fundamental issues for robust implementations of progressively refined tetrahedralizations generated through sequences of edge collapses. We address the ...
182
click to vote
ICMCS
2000
IEEE
15 years 9 months ago
2000
IEEE
In this paper we present a novel algorithm for video scene segmentation. We model a scene as a semantically consistent chunk of audio-visual data. Central to the segmentation fram...