Sciweavers

21430 search results - page 383 / 4286
» Abstract Effective Models
Sort
View
RML
2006
123views Business» more  RML 2006»
15 years 6 months ago
Some Results on Ordered Structures in Toposes
Abstract. A topos version of Cantor's back and forth theorem is established and used to prove that the ordered structure of the rational numbers Q, < is homogeneous in any ...
Luís A. Sbardellini, Marcelo E. Coniglio
ECCV
2002
Springer
16 years 8 months ago
Parsing Images into Region and Curve Processes
Abstract. Natural scenes consist of a wide variety of stochastic patterns. While many patterns are represented well by statistical models in two dimensional regions as most image s...
Zhuowen Tu, Song Chun Zhu
IPPS
2010
IEEE
15 years 4 months ago
Speculative execution on multi-GPU systems
Abstract--The lag of parallel programming models and languages behind the advance of heterogeneous many-core processors has left a gap between the computational capability of moder...
Gregory F. Diamos, Sudhakar Yalamanchili
202
Voted
WOSP
2005
ACM
16 years 8 days ago
A model transformation framework for the automated building of performance models from UML models
In order to effectively validate the performance of software systems throughout their development cycle it is necessary to continuously build performance models from software mod...
Andrea D'Ambrogio
HICSS
2012
IEEE
324views Biometrics» more  HICSS 2012»
14 years 2 months ago
Extending BPMN for Business Activity Monitoring
—Real-time access to key performance indicators is necessary to ensure timeliness and effectiveness of operational business processes. The concept of Business Activity Monitoring...
Jan-Philipp Friedenstab, Christian Janiesch, Marti...