608 search results - page 64 / 122 » Tests, Proofs and Refinements |
IDEAL
2004
Springer
14 years 1 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-...
ITC
2000
IEEE
14 years 6 days 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...
VISUALIZATION
1998
IEEE
14 years 2 days 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 ...
ICMCS
2000
IEEE
13 years 11 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...
FECS
2008
13 years 9 months ago
2008
Teaching software modeling and software design presents a different and difficult set of problems than teaching some of the other aspects of software engineering such as testing a...