441 search results - page 46 / 89 » Refinement of Time |
111
click to vote
ICMCS
1999
IEEE
15 years 7 months ago
1999
IEEE
The Internet plays host to many millions of documents and images and is increasing in size all the time. As a result locating web content is becoming increasingly difficult for us...
IMR
1999
Springer
15 years 7 months ago
1999
Springer
The work described here addresses information generated during mesh preprocessing, specifically mesh quality indicators derived on a per-element basis. A technique is introduced f...
145
click to vote
EWCBR
1998
Springer
15 years 7 months ago
1998
Springer
This paper presents the CARE-PARTNER system. Functionally, it offers via the WWW knowledge-support assistance to clinicians responsible for the long-term follow-up of stem-cell pos...
111
click to vote
CHI
1993
ACM
15 years 7 months ago
1993
ACM
tasks to be performed. This Abstract Artifact Model is a description of the form of the artifact(s) without any nt to concrete implementation detail. The Abstract Artifact Model is...
127
click to vote
CONCUR
2006
Springer
15 years 6 months ago
2006
Springer
We describe an incomplete but sound and efficient livelock freedom test for infinite state asynchronous reactive systems. The method s a system into a set of simple control flow cy...