Sciweavers

6253 search results - page 378 / 1251
» Use Case Modeling Guidelines
Sort
View
ICIP
2008
IEEE
16 years 6 months ago
Parameter estimation for an H.264-based distributed video coder
In this paper we present a statistical model used to select coding parameters for a mixed resolution Wyner-Ziv framework implemented using the H.264/AVC standard. This paper exten...
Bruno Macchiavello, Ricardo L. de Queiroz, Debargh...
149
Voted
ASWEC
2007
IEEE
15 years 11 months ago
Timed Behavior Trees and Their Application to Verifying Real-Time Systems
Behavior Trees (BTs) are a graphical notation used for formalising functional requirements and have been successfully applied to several case studies. However, the notation curren...
Lars Grunske, Kirsten Winter, Robert Colvin
SERVICES
2008
51views more  SERVICES 2008»
15 years 6 months ago
Iterative Workflows for Numerical Simulations in Subsurface Sciences
Numerical simulators are frequently used to assess future risks, support remediation and monitoring program decisions, and assist in design of specific remedial actions with respe...
Jared Chase, Karen Schuchardt, George Chin Jr., Je...
117
Voted
SAT
2007
Springer
181views Hardware» more  SAT 2007»
15 years 10 months ago
Breaking Symmetries in SAT Matrix Models
Abstract. Symmetry occurs naturally in many computational problems. The use of symmetry breaking techniques for solving search problems reduces the search space and therefore is ex...
Inês Lynce, João P. Marques Silva
ENVSOFT
2007
91views more  ENVSOFT 2007»
15 years 4 months ago
Integrated assessment modelling for water resource allocation and management: A generalised conceptual framework
Nodal network approaches are a common framework for considering water allocation in river basins. In this type of model framework, a river basin is represented as a series of node...
Rebecca A. Letcher, Barry F. W. Croke, Anthony J. ...