10891 search results - page 1623 / 2179 » Combining Model Reductions |
213
click to vote
ICSOC
2009
Springer
15 years 4 months ago
2009
Springer
The huge demand for ad-hoc and situational enterprise-class applications led to a new kind of Web-based applications, known as enterprise mashups. End users from the business units...
155
click to vote
INFORMS
2010
15 years 4 months ago
2010
Controlled Sequential Bifurcation (CSB) is a factor-screening method for discrete-event simulations. It combines a multi-stage hypothesis testing procedure with the original Seque...
229
click to vote
AMAST
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. We develop an algebraic modal logic that combines epistemic and dynamic modalities with a view to modelling information acquisition (learning) by automated agents in a ch...
351
click to vote
CGF
2011
15 years 2 months ago
2011
Motion blur is a fundamental cue in the perception of objects in motion. This phenomenon manifests as a visible trail along the trajectory of the object and is the result of the c...
191
click to vote
JCS
2011
15 years 2 months ago
2011
We present a model of adaptive attacks which we combine with information-theoretic metrics to quantify the information revealed to an adaptive adversary. This enables us to expres...