1740 search results - page 216 / 348 » A Digital Archive of Research Papers in Computer Science |
168
click to vote
SPIN
2000
Springer
15 years 10 months ago
2000
Springer
Research on how to reason about correctness properties of software systems using model checking is advancing rapidly. Work on exnite-state models from program source code and on ab...
158
click to vote
CSR
2009
Springer
15 years 9 months ago
2009
Springer
In this paper we investigate the following two questions: Q1: Do there exist optimal proof systems for a given language L? Q2: Do there exist complete problems for a given promise ...
184
click to vote
VLC
2008
15 years 5 months ago
2008
In order to evaluate automated image annotation and object recognition algorithms, ground truth in the form of a set of images correctly annotated with text describing each image ...
148
click to vote
GI
2009
Springer
15 years 4 months ago
2009
Springer
Abstract: Research in the field of academic teaching and life focuses on the integration of recent technologies. Additionally, new trends within the current usage of e.g. the Inter...
175
click to vote
CAD
2011
Springer
14 years 10 months ago
2011
Springer
The behavior of Catmull-Rom curves heavily depends on the choice of parameter values at the control points. We analyze a class of parameterizations ranging from uniform to chordal...