Sciweavers

6253 search results - page 302 / 1251
» Use Case Modeling Guidelines
Sort
View
DCC
2010
IEEE
15 years 9 months ago
Modeling the Quantization Staircase Function
Quantization plays a central role in data compression. In speech systems, vector quantizers are used to compress speech parameters. In video systems, scalar quantizers are used to...
Salman Aslam, Aaron F. Bobick, Christopher F. Barn...
ENTCS
2007
75views more  ENTCS 2007»
15 years 3 months ago
Testing Planning Domains (without Model Checkers)
We address the problem of verifying planning domains as used in model-based planning, for example in space missions. We propose a methodology for testing flight rules of planning...
Franco Raimondi, Charles Pecheur, Guillaume Brat
BMCBI
2007
147views more  BMCBI 2007»
15 years 3 months ago
Comparative analysis of long DNA sequences by per element information content using different contexts
Background: Features of a DNA sequence can be found by compressing the sequence under a suitable model; good compression implies low information content. Good DNA compression mode...
Trevor I. Dix, David R. Powell, Lloyd Allison, Jul...
SIGCOMM
2004
ACM
15 years 9 months ago
Network sensitivity to hot-potato disruptions
Hot-potato routing is a mechanism employed when there are multiple (equally good) interdomain routes available for a given destination. In this scenario, the Border Gateway Protoc...
Renata Teixeira, Aman Shaikh, Timothy Griffin, Geo...
ISMS
2004
Springer
15 years 9 months ago
GiPSi: An Open Source/Open Architecture Software Development Framework for Surgical Simulation
In this paper we propose an open source/open architecture framework for developing organ level surgical simulations. Our goal is to facilitate shared development of reusable models...
Tolga Goktekin, Murat Cenk Cavusoglu, Frank Tendic...