Sciweavers

873 search results - page 26 / 175
» Effective Use of Organisational Abstractions for Confidence ...
Sort
View
CACM
2006
95views more  CACM 2006»
15 years 6 months ago
Computational thinking
ional thinking is using abstraction and decomposition when attacking a large complex task or designing a large complex system. It is separation of concerns. It is choosing an appro...
Jeannette M. Wing
TIP
2010
146views more  TIP 2010»
15 years 4 months ago
Effective Level Set Image Segmentation With a Kernel Induced Data Term
Abstract—This study investigates level set multiphase image segmentation by kernel mapping and piecewise constant modeling of the image data thereof. A kernel function maps impli...
Mohamed Ben Salah, Amar Mitiche, Ismail Ben Ayed
DSVIS
2005
Springer
15 years 11 months ago
Towards Model Checking Stochastic Aspects of the thinkteam User Interface
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...
Maurice H. ter Beek, Mieke Massink, Diego Latella
ICST
2009
IEEE
15 years 3 months ago
Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation
A software development process is conceptually an abstract form of model transformation, starting from an enduser model of requirements, through to a system model for which code c...
Emine G. Aydal, Richard F. Paige, Mark Utting, Jim...
AIRS
2009
Springer
15 years 10 months ago
Enabling Effective User Interactions in Content-Based Image Retrieval
Abstract. This paper presents an interactive content-based image retrieval framework--uInteract, for delivering a novel four-factor user interaction model visually. The four-factor...
Haiming Liu 0002, Srdan Zagorac, Victoria S. Uren,...