Sciweavers

4048 search results - page 162 / 810
» Design Science, Engineering Science and Requirements Enginee...
Sort
View
GI
2009
Springer
14 years 11 months ago
Project Planning Support by Model Checking
Abstract: Today's trend in software and system engineering is to utilize more specialized models. This model-based development approach makes a single engineering task more ea...
Björn Axenath, Oliver Sudmann
269
Voted

Book
671views
17 years 4 days ago
Introduction to Programming for Image Analysis with VTK
"This book is an edited collection of class handouts that was written for the graduate seminar [Programming for Medical Image Analysis] (ENAS 920a). This class was taught at Y...
Xenophon Papademetris
75
Voted
FSTTCS
2009
Springer
15 years 7 months ago
Using Elimination Theory to construct Rigid Matrices
The rigidity of a matrix A for target rank r is the minimum number of entries of A that
Kumar Abhinav, Satyanarayana V. Lokam, Vijay M. Pa...
FSTTCS
2009
Springer
15 years 7 months ago
The Covering and Boundedness Problems for Branching Vector Addition Systems
The covering and boundedness problems for branching vector addition systems are shown complete for doubly-exponential time.
Stéphane Demri, Marcin Jurdzinski, Oded Lac...
86
Voted
FSTTCS
2009
Springer
15 years 7 months ago
A Fine-grained Analysis of a Simple Independent Set Algorithm
ABSTRACT. We present a simple exact algorithm for the INDEPENDENT SET problem with a run
Joachim Kneis, Alexander Langer, Peter Rossmanith