3483 search results - page 426 / 697 » Forward |
186
click to vote
SAFECOMP
2007
Springer
16 years 24 days ago
2007
Springer
A strategy and relating activities of a software safety analysis (SSA) are presented for the software of a digital reactor protection system where software modules in the design de...
202
click to vote
SAMT
2007
Springer
16 years 24 days ago
2007
Springer
Performing simple keyword-based search has long been the only way to access information. But for a truly comprehensive search on multimedia data, this approach is no longer su cien...
152
click to vote
SARA
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. If a CSP instance has no solution, it contains a smaller unsolvable subproblem that makes unsolvable the whole problem. When solving such instance, instead of just return...
174
click to vote
SCIA
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. The accuracy of data classification methods depends considerably on the data representation and on the selected features. In this work, the elastic net model selection i...
159
click to vote
UIC
2007
Springer
16 years 24 days ago
2007
Springer
In mobile ad hoc networks (MANETs), nodes mobility cause network topologies to change dynamically over time, which complicates important tasks such as broadcasting and routing. Mob...