4048 search results - page 162 / 810 » Design Science, Engineering Science and Requirements Enginee... |
141
Voted
GI
2009
Springer
15 years 1 months ago
2009
Springer
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...
313
Voted
Book
"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...
FSTTCS
2009
Springer
15 years 10 months ago
2009
Springer
The rigidity of a matrix A for target rank r is the minimum number of entries of A that
101
Voted
FSTTCS
2009
Springer
15 years 10 months ago
2009
Springer
The covering and boundedness problems for branching vector addition systems are shown complete for doubly-exponential time.
110
click to vote
FSTTCS
2009
Springer
15 years 10 months ago
2009
Springer
ABSTRACT. We present a simple exact algorithm for the INDEPENDENT SET problem with a run