4463 search results - page 266 / 893 » computing 2000 |
186
click to vote
FSTTCS
2000
Springer
15 years 10 months ago
2000
Springer
: A pushdown system is a graph G(P) of configurations of a pushdown automaton P. The model checking problem for a logic L is: given a pushdown automaton P and a formula L decide ...
126
click to vote
RT
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Different methods for prefiltered environment maps have been proposed, each of which has different advantages and disadvantages. We present a general notation for prefilt...
138
click to vote
BMVC
2000
15 years 8 months ago
2000
The Moving Window Classifier(MWC) has previously been proposed as an efficient scheme for text recognition applications. In this paper, the potential of the MWC algorithm in face ...
157
click to vote
ISMB
2000
15 years 8 months ago
2000
The first available genome of a multicellular organism, C. elegans, was used as a test case for protein fold assignment using PSI-BLAST, followed by rational structure modeling an...
155
click to vote
CLUSTER
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper introduces the principles of Agilent’s remote system management solutions, which have been designed to maintain and administrate servers and communication systems. Fr...