10392 search results - page 440 / 2079 » Introduction to Computer Science |
188
click to vote
TAICPART
2006
IEEE
16 years 1 months ago
2006
IEEE
ract: Problem Statement and Hypothetical Solutions Shaukat Ali Verification and Testing Group (VT) Department of Computer Science University of Sheffield
185
click to vote
GI
2005
Springer
16 years 1 months ago
2005
Springer
: A new approach of tracking and classification of space objects with sequential Monte Carlo methods and numerical integration techniques is given.
191
click to vote
WG
2005
Springer
16 years 1 months ago
2005
Springer
We improve the current complexities for maintaining a chordal graph by starting with an empty graph and repeatedly adding or deleting edges.
194
click to vote
SPIN
2004
Springer
16 years 27 days ago
2004
Springer
Hard real-time systems need methods to determine upper bounds for their execution times, usually called worst-case execution