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 5 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
16 years 6 days 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 4 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,...