3701 search results - page 371 / 741 » Anatomical Information Science |
224
click to vote
SPIN
2004
Springer
16 years 28 days 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...
190
click to vote
ACSC
2003
IEEE
16 years 27 days ago
2003
IEEE
Graphs where each node includes an amount of text are often used in applications. A typical example of such graphs is UML diagrams used in CASE tools. To make text information in ...
204
click to vote
ACSC
2003
IEEE
16 years 27 days ago
2003
IEEE
This paper presents an innovative strategy to synchronize all virtual clocks in asynchronous Internet environments. Our model is based on the architecture of one reference clock a...
182
click to vote
FOCS
2003
IEEE
16 years 27 days 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...
154
click to vote
ITICSE
2003
ACM
16 years 25 days ago
2003
ACM
This paper describes a simple Unix-based repository that supports programming intensive courses. Initially motivated by the need to capture sample artifacts for the capstone cours...