3742 search results - page 404 / 749 » On the Use of Formal Techniques for Validation |
189
click to vote
VLDB
2007
ACM
16 years 26 days ago
2007
ACM
Tracing the lineage of data is an important requirement for establishing the quality and validity of data. Recently, the problem of data provenance has been increasingly addressed...
168
click to vote
LCN
2006
IEEE
16 years 23 days ago
2006
IEEE
— Packet dispersion techniques have been commonly used to estimate bandwidth in wired networks. However, current packet dispersion techniques were developed for wired network env...
195
click to vote
SIBGRAPI
2005
IEEE
16 years 10 days ago
2005
IEEE
In this paper we study the use of computer vision techniques for for underwater visual tracking and counting of fishes in vivo. The methodology is based on the application of a B...
181
click to vote
MM
2004
ACM
16 years 5 days ago
2004
ACM
We propose a novel technique for the automatic classification of vocal and non-vocal regions in an acoustic musical signal. Our technique uses a combination of harmonic content a...
163
click to vote
GI
2004
Springer
16 years 4 days ago
2004
Springer
: Critical industrial applications or fault tolerant applications need for operating systems (OS) which guarantee a correct and safe behaviour despite the appearance of errors. In ...