Sciweavers

4485 search results - page 92 / 897
» Equivalences on Observable Processes
Sort
View
CORR
2010
Springer
144views Education» more  CORR 2010»
13 years 10 months ago
Algorithmic Verification of Single-Pass List Processing Programs
We introduce streaming data string transducers that map input data strings to output data strings in a single left-to-right pass in linear time. Data strings are (unbounded) seque...
Rajeev Alur, Pavol Cerný
KDD
2005
ACM
103views Data Mining» more  KDD 2005»
14 years 10 months ago
Robust boosting and its relation to bagging
Several authors have suggested viewing boosting as a gradient descent search for a good fit in function space. At each iteration observations are re-weighted using the gradient of...
Saharon Rosset
CDC
2009
IEEE
184views Control Systems» more  CDC 2009»
14 years 1 months ago
A closed loop musculoskeletal model of postural coordination dynamics
A closed-loop model with actuator dynamics and sensory feedback has been developed to capture the complex postural behaviors observed in a human head tracking task. In motor-contro...
Vincent Bonnet, Philippe Fraisse, Nacim Ramdani, J...
MOBIS
2008
13 years 11 months ago
Process Modeling for Network Organizations - The Impact of the Process Environment
: Attention to the specific characteristics of rather unstructured processes and the consequences for the modeling of these processes can only rarely be observed. This paper presen...
Stefan Große Böckmann, Jan vom Brocke, ...
WSC
2008
14 years 8 days ago
Smooth flexible models of nonhomogeneous poisson processes using one or more process realizations
We develop and evaluate a semiparametric method to estimate the mean-value function of a nonhomogeneous Poisson process (NHPP) using one or more process realizations observed over...
Michael E. Kuhl, Shalaka C. Deo, James R. Wilson