Sciweavers

6167 search results - page 884 / 1234
» Can Refinement be Automated
Sort
View
162
Voted
ICST
2009
IEEE
15 years 2 months ago
A Flexible Framework for Quality Assurance of Software Artefacts with Applications to Java, UML, and TTCN-3 Test Specifications
Manual reviews and inspections of software artefacts are time consuming and thus, automated analysis tools have been developed to support the quality assurance of software artefac...
Jens Nodler, Helmut Neukirchen, Jens Grabowski
ICONIP
2010
15 years 2 months ago
Facial Expression Based Automatic Album Creation
With simple cost effective imaging solutions being widely available these days, there has been an enormous rise in the number of images consumers have been taking. Due to this incr...
Abhinav Dhall, Akshay Asthana, Roland Goecke
DAGM
2010
Springer
15 years 1 months ago
A Model-Based Approach to the Segmentation of Nasal Cavity and Paranasal Sinus Boundaries
We present a model-driven approach to the segmentation of nasal cavity and paranasal sinus boundaries. Based on computed tomography data of a patients head, our approach aims to ex...
Carsten Last, Simon Winkelbach, Friedrich M. Wahl,...
231
Voted
IS
2011
14 years 12 months ago
Time prediction based on process mining
Abstract. Process mining allows for the automated discovery of process models from event logs. These models provide insights and enable various types of model-based analysis. This ...
Wil M. P. van der Aalst, M. H. Schonenberg, Minseo...
159
Voted
TASE
2010
IEEE
14 years 11 months ago
A Collaborative Multiagent Taxi-Dispatch System
This paper presents a novel multiagent approach to automating taxi dispatch that services current bookings in a distributed fashion. The existing system in use by a taxi operator i...
Kiam Tian Seow, Nam Hai Dang, Der-Horng Lee