1257 search results - page 137 / 252 » Simplifying spline models |
129
Voted
AHS
2006
IEEE
15 years 7 months ago
2006
IEEE
A new hardware developmental model that shows strong robust transient fault-tolerant abilities and is motivated by embryonic development and a honeycomb structure is presented. Ca...
122
Voted
ATVA
2006
Springer
15 years 7 months ago
2006
Springer
Of special interest in formal verification are safety properties, which assert that the system always stays within some allowed region. Each safety property can be associated with...
158
Voted
DDECS
2006
IEEE
15 years 7 months ago
2006
IEEE
Abstract-- Hard real-time systems need methods to determine upper bounds for their execution times, usually called worst-case execution times. Timing anomalies are counterintuitive...
135
Voted
FMICS
2006
Springer
15 years 7 months ago
2006
Springer
Parking garages that stow and retrieve cars automatically are becoming viable solutions for parking shortages. However, these are complex systems and a number of severe incidents i...
158
Voted
ISMIR
2000
Springer
15 years 7 months ago
2000
Springer
Active musicians generally rely on extensive personal paper-based music information retrieval systems containing scores, parts, compositions, and arrangements of published and han...