Sciweavers

8928 search results - page 38 / 1786
» Modeling Current Events
Sort
View
ICCV
2003
IEEE
16 years 1 months ago
Background Modeling and Subtraction of Dynamic Scenes
Background modeling and subtraction is a core component in motion analysis. The central idea behind such module is to create a probabilistic representation of the static scene tha...
Antoine Monnet, Anurag Mittal, Nikos Paragios, Vis...
WSC
2008
15 years 2 months ago
Modeling and simulation of multinational intra-theatre logistics distribution
Multinational logistics cooperation is essential for reducing the collective logistics footprint, optimizing resource usage and enhancing interoperability in military operations. ...
Ahmed Ghanmi, Gregory B. Campbell, Thomas A. Gibbo...
ICWE
2010
Springer
15 years 1 months ago
Tools for Modeling and Generating Safe Interface Interactions in Web Applications
Abstract. Current Web applications embed sophisticated user interfaces and business logic. The original interaction paradigm of the Web with static content pages that are browsed b...
Marco Brambilla, Jordi Cabot, Michael Grossniklaus
SCW
2006
IEEE
15 years 5 months ago
Implementation of a Complex Event Engine for the Web
One of the key aspects in the implementation of reactive behaviour in the web and, most importantly, in the semantic web is the development of event detection engines. An event en...
José Júlio Alferes, Gaston E. Tagni
SBMF
2009
Springer
156views Formal Methods» more  SBMF 2009»
15 years 6 months ago
Applying Event and Machine Decomposition to a Flash-Based Filestore in Event-B
Abstract. Event-B is a formal method used for specifying and reasoning about systems. Rodin is a toolset for developing system models in Event-B. Our experiment which is outlined i...
Kriangsak Damchoom, Michael J. Butler