Sciweavers

5246 search results - page 144 / 1050
» Sanitization models and their limitations
Sort
View
RECOMB
2001
Springer
15 years 4 months ago
DNA segmentation as a model selection process
Previous divide-and-conquer segmentation analyses of DNA sequences do not provide a satisfactory stopping criterion for the recursion. This paper proposes that segmentation be con...
Wentian Li
CA
2000
IEEE
15 years 4 months ago
Space-Time and Higher Dimensional Modeling for Animation
There are limitations to the current BRep based “model then animate” paradigm when animating time-dependent (dynamic) objects. This paper describes an approach to modeling dyn...
Eric Fausett, Alexander A. Pasko, Valery Adzhiev
EUROMICRO
2000
IEEE
15 years 4 months ago
Formal Coverification of Embedded Systems Using Model Checking
The complexity of embedded systems is increasing rapidly. In consequence, new verification techniques that overcome the limitations of traditional methods and are suitable for har...
Luis Alejandro Cortés, Petru Eles, Zebo Pen...
SIGCOMM
2000
ACM
15 years 4 months ago
A stochastic model of TCP/IP with stationary random
In this paper, we present a model for TCP/IP ow control mechanism. The rate at which data is transmitted increases linearly in time until a packet loss is detected. At that point,...
Eitan Altman, Konstantin Avrachenkov, Chadi Baraka...
DOCENG
2007
ACM
15 years 3 months ago
A model for mapping between printed and digital document instances
The first steps towards bridging the paper-digital divide have been achieved with the development of a range of technologies that allow printed documents to be linked to digital c...
Nadir Weibel, Moira C. Norrie, Beat Signer