3174 search results - page 363 / 635 » An Exploration of the Permanent-Determinant Method |
145
click to vote
FMICS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Symbolic state-space generators are notoriously hard to parallelise. However, the Saturation algorithm implemented in the SMART verification tool differs from other seque...
166
click to vote
FMICS
2006
Springer
15 years 10 months ago
2006
Springer
Behrmann et al. posed the question whether "To Store or Not To Store" [1] states during reachability analysis, in order to counter the effects of the well-known state spa...
201
Voted
FAABS
2000
Springer
15 years 10 months ago
2000
Springer
To ful ll the needs of its deep space exploration program, NASAis actively supporting research and development in autonomy software. However, the reliable and cost-e ective develop...
187
click to vote
PACS
2000
Springer
15 years 10 months ago
2000
Springer
Reducing the supply voltage to reduce dynamic power consumption in CMOS devices, inadvertently will lead to an exponential increase in leakage power dissipation. In this work we ex...
185
click to vote
AAAI
2007
15 years 9 months ago
2007
Our work links Chinese calligraphy to computer science through an integrated intelligence approach. We first extract strokes of existent calligraphy using a semi-automatic, twoph...