Sciweavers

3750 search results - page 654 / 750
» Timed Automata Patterns
Sort
View
HUC
2010
Springer
13 years 10 months ago
Social sensing for epidemiological behavior change
An important question in behavioral epidemiology and public health is to understand how individual behavior is affected by illness and stress. Although changes in individual behav...
Anmol Madan, Manuel Cebrián, David Lazer, A...
HPDC
2008
IEEE
13 years 10 months ago
Code coverage, performance approximation and automatic recognition of idioms in scientific applications
Basic data flow patterns which we call idioms, such as stream, transpose, reduction, random access and stencil, are common in scientific numerical applications. We hypothesize tha...
Jiahua He, Allan Snavely, Rob F. Van der Wijngaart...
ANOR
2007
73views more  ANOR 2007»
13 years 10 months ago
A sample-path approach to optimal position liquidation
We consider the problem of optimal position liquidation with the aim of maximizing the expected cash flow stream from the transaction in the presence of temporary or permanent ma...
Pavlo A. Krokhmal, Stan Uryasev
BC
2007
62views more  BC 2007»
13 years 10 months ago
A quantitative synchronization model for smooth pursuit target tracking
We propose a quantitative model for human smooth pursuit tracking of a continuously moving visual target which is based on synchronization of an internal expectancy model of the ta...
Henning U. Voss, Bruce D. McCandliss, Jamshid Ghaj...
DKE
2010
112views more  DKE 2010»
13 years 10 months ago
An integer programming based approach for verification and diagnosis of workflows
Workflow analysis is indispensable to capture modeling errors in workflow designs. While several workflow analysis approaches have been defined previously, these approaches do not...
Rik Eshuis, Akhil Kumar