Sciweavers

4485 search results - page 184 / 897
» Equivalences on Observable Processes
Sort
View
ICCAD
2005
IEEE
96views Hardware» more  ICCAD 2005»
14 years 7 months ago
A more reliable reduction algorithm for behavioral model extraction
— In this paper we are concerned with developing more reliable model reduction algorithms. We have focused on less common, but real, examples that fail to be effectively reduced ...
Dmitry Vasilyev, Jacob K. White
PKDD
2009
Springer
113views Data Mining» more  PKDD 2009»
14 years 4 months ago
Feature Selection for Density Level-Sets
A frequent problem in density level-set estimation is the choice of the right features that give rise to compact and concise representations of the observed data. We present an eï¬...
Marius Kloft, Shinichi Nakajima, Ulf Brefeld
HYBRID
2007
Springer
14 years 4 months ago
Composition of Dynamical Systems for Estimation of Human Body Dynamics
This paper addresses the problem of estimating human body dynamics from 3-D visual data. That is, our goal is to estimate the state of the system, joint angle trajectories and velo...
Sumitra Ganesh, Aaron D. Ames, Ruzena Bajcsy
SEW
2006
IEEE
14 years 4 months ago
Integrating Probability with Time and Shared-Variable Concurrency
Complex software systems typically involve features like time, concurrency and probability, where probabilistic computations play an increasing role. It is challenging to formaliz...
Huibiao Zhu, Shengchao Qin, Jifeng He, Jonathan P....
TARK
2005
Springer
14 years 3 months ago
Decisions under subjective information
This paper addresses two closely related aspects of subjective information. First, no two agents necessarily see the same thing when they observe the same object. Second, no two a...
Jack Stecher