10891 search results - page 1787 / 2179 » Combining Model Reductions |
134
click to vote
JBCS
2002
15 years 3 months ago
2002
Component Based Development (CBD) aims at constructing software through the integration, using interfaces and contracts, between pre-existing components. The main goal of this wor...
166
click to vote
MVA
2002
15 years 3 months ago
2002
In order to track and recognize the movements of multiple people using multiple cameras, each person needs to be segmented and identified in the image of each camera. We propose a...
151
click to vote
JAIR
2010
15 years 2 months ago
2010
We present DCL-PC: a logic for reasoning about how the abilities of agents and coalitions of agents are altered by transferring control from one agent to another. The logical foun...
179
click to vote
KI
2010
Springer
14 years 10 months ago
2010
Springer
Hybrid systems are models for complex physical systems and are defined as dynamical systems with interacting discrete transitions and continuous evolutions along differential equa...
120
click to vote
TIM
2010
14 years 10 months ago
2010
Abstract--We apply the maximal overlap discrete wavelet transform (MODWT)-based spectral density estimation method to measure heart rate variability (HRV) from short-duration pulse...