Sciweavers

4485 search results - page 184 / 897
» Equivalences on Observable Processes
Sort
View
ICCAD
2005
IEEE
96views Hardware» more  ICCAD 2005»
16 years 3 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»
16 years 20 days 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
135
Voted
HYBRID
2007
Springer
16 years 8 days 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
16 years 4 days 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....
162
Voted
TARK
2005
Springer
15 years 11 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