12373 search results - page 274 / 2475 » Semi-Logarithmic Number Systems |
111
click to vote
ISBI
2004
IEEE
16 years 5 months ago
2004
IEEE
A novel ultrafast-laser-based x-ray source is a promising candidate for replacement of a microfocal X-ray tube in a micro-CT system for small-animal imaging. We optimized conditio...
258
click to vote
ICFP
2009
ACM
16 years 5 months ago
2009
ACM
Functional programming languages ought to play a central role in mathematics education for middle schools (age range: 10?14). After all, functional programming is a form of algebr...
169
click to vote
CAV
2009
Springer
16 years 5 months ago
2009
Springer
Context-bounded analysis is an attractive approach to verification of concurrent programs. Bounding the number of contexts executed per thread not only reduces the asymptotic compl...
122
click to vote
CHI
2003
ACM
16 years 4 months ago
2003
ACM
Despite recent advances in natural language question answering technology, the problem of designing effective user interfaces has been largely unexplored. We conducted a user stud...
140
click to vote
ICSE
2004
IEEE-ACM
16 years 4 months ago
2004
IEEE-ACM
We describe an efficient decentralized monitoring algorithm that monitors a distributed program's execution to check for violations of safety properties. The monitoring is ba...