2379 search results - page 264 / 476 » Computer Science in the Information Age |
161
click to vote
GI
2004
Springer
16 years 1 days ago
2004
Springer
: Critical industrial applications or fault tolerant applications need for operating systems (OS) which guarantee a correct and safe behaviour despite the appearance of errors. In ...
189
click to vote
SPIN
2004
Springer
16 years 6 hour ago
2004
Springer
Abstract. In the classic approach to logic model checking, software verification requires a manually constructed artifact (the model) to be written in the language that is accepted...
157
click to vote
FOCS
2003
IEEE
15 years 12 months ago
2003
IEEE
: Can Grover’s algorithm speed up search of a physical region—for example a 2-D grid of size √ n × √ n? The problem is that √ n time seems to be needed for each query, j...
177
click to vote
FOCS
1999
IEEE
15 years 11 months ago
1999
IEEE
We study the phenomenon of cognitive learning from an algorithmic standpoint. How does the brain effectively learn concepts from a small number of examples despite the fact that e...
162
click to vote
SCCC
1998
IEEE
15 years 11 months ago
1998
IEEE
Software architectural design is essential for complex distributed applications. Architectural specifications need to define the key aspects of the application, including its inte...