441 search results - page 46 / 89 » Refinement of Time |
ICMCS
1999
IEEE
14 years 1 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
14 years 29 days 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...
EWCBR
1998
Springer
14 years 27 days 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...
CHI
1993
ACM
14 years 24 days 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...
CONCUR
2006
Springer
14 years 12 days 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...