Sciweavers

896 search results - page 32 / 180
» Stepwise Refinement of Processes
Sort
View
146
Voted
FM
2009
Springer
153views Formal Methods» more  FM 2009»
15 years 12 days ago
Iterative Refinement of Reverse-Engineered Models by Model-Based Testing
Abstract. This paper presents an iterative technique to accurately reverseengineer models of the behaviour of software systems. A key novelty of the approach is the fact that it us...
Neil Walkinshaw, John Derrick, Qiang Guo
131
Voted
AOSE
2007
Springer
15 years 6 months ago
Refining Goal Models by Evaluating System Behaviour
Abstract. Nowadays, information systems have to perform in complex, heterogeneous environments, considering a variety of system users with different needs and preferences. Software...
Mirko Morandini, Loris Penserini, Anna Perini, Ang...
149
Voted
VRST
2010
ACM
15 years 14 days ago
Region-of-interest volumetric visual hull refinement
This paper introduces a region-of-interest visual hull refinement technique, based on flexible voxel grids for volumetric visual hull reconstructions. Region-of-interest refinemen...
Daniel Knoblauch, Falko Kuester
125
Voted
SIGIR
2002
ACM
15 years 2 months ago
Document clustering with cluster refinement and model selection capabilities
In this paper, we propose a document clustering method that strives to achieve: (1) a high accuracy of document clustering, and (2) the capability of estimating the number of clus...
Xin Liu, Yihong Gong, Wei Xu, Shenghuo Zhu
136
Voted
GISCIENCE
2010
Springer
216views GIS» more  GISCIENCE 2010»
15 years 3 months ago
Cognitive Invariants of Geographic Event Conceptualization: What Matters and What Refines?
Behavioral experiments addressing the conceptualization of geographic events are few and far between. Our research seeks to address this deficiency by developing an experimental fr...
Alexander Klippel, Rui Li, Frank Hardisty, Chris W...