279 search results - page 31 / 56 » Testing for Refinement in CSP |
128
Voted
SSDBM
2006
IEEE
15 years 9 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...
120
Voted
IDEAL
2004
Springer
15 years 9 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-...
126
Voted
ITC
2000
IEEE
15 years 8 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...
128
Voted
VISUALIZATION
1998
IEEE
15 years 7 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 ...
152
click to vote
ICMCS
2000
IEEE
15 years 7 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...