10874 search results - page 1846 / 2175 » An Improvement in Sugeno-Yasukawa Modeler |
175
click to vote
GCB
1997
Springer
15 years 11 months ago
1997
Springer
Motivation: Database search programs such as FASTA, BLAST or a rigorous Smith–Waterman algorithm produce lists of database entries, which are assumed to be related to the query....
177
click to vote
CSCW
1996
ACM
15 years 11 months ago
1996
ACM
Concurrency control and group undo are important issues in the design of groupware, especially for interactive group editors. We present an improved versionofanexistingdistributed...
193
click to vote
DAC
1996
ACM
15 years 11 months ago
1996
ACM
-- This paper presents an efficient method for the timing verification of concurrent systems, modeled as labeled Timed Petri nets. The verification problems we consider require us ...
215
Voted
PACT
1997
Springer
15 years 11 months ago
1997
Springer
A technique for estimating the cost of executing a loop nest in parallel (parallel start-up overhead) is described in this paper. This technique is of utmost importance for paralle...
178
click to vote
CHI
1994
ACM
15 years 11 months ago
1994
ACM
Human face-to-face conversation is an ideal model for human-computer dialogue. One of the major features of face-to-face communication is its multiplicity of communication channel...