Sciweavers

1380 search results - page 141 / 276
» Reasoning about Input-Output Modeling of Dynamical Systems
Sort
View
ICPR
2006
IEEE
14 years 11 months ago
View Dependent Enhancement of the Dynamic Range of Video
There are many applications for computer vision where a scene observed contains a wide range of brightness. Often, the low dynamic range of a camera limits the accuracy of informa...
Matti Niskanen
POPL
2008
ACM
14 years 10 months ago
Enhancing modular OO verification with separation logic
Conventional specifications for object-oriented (OO) programs must adhere to behavioral subtyping in support of class inheritance and method overriding. However, this requirement ...
Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, She...
VEE
2009
ACM
171views Virtualization» more  VEE 2009»
14 years 5 months ago
Dynamic memory balancing for virtual machines
Virtualization essentially enables multiple operating systems and applications to run on one physical computer by multiplexing hardware resources. A key motivation for applying vi...
Weiming Zhao, Zhenlin Wang
IHI
2010
169views Healthcare» more  IHI 2010»
13 years 5 months ago
Dynamic scheduling of emergency department resources
The processes carried out in a hospital emergency department can be thought of as structures of activities that require resources in order to execute. Costs are reduced when resou...
Junchao Xiao, Leon J. Osterweil, Qing Wang
ATAL
2006
Springer
14 years 2 months ago
Modeling uncertain domains with polyagents
Agent-based modeling is a powerful tool for systems modeling. Instantiating each domain entity with an agent permits us to capture many aspects of system dynamics and interactions...
H. Van Dyke Parunak, Sven Brueckner