2467 search results - page 327 / 494 » Finite State Machines |
162
click to vote
CL
2002
Springer
15 years 5 months ago
2002
Springer
The Ambient Calculus (henceforth, AC) was developed by Cardelli and Gordon as a formal framework to study issues of mobility and migrant code [9]. We present a type system for AC ...
123
Voted
CORR
2002
Springer
15 years 5 months ago
2002
Springer
In this paper, we discuss the utility and deficiencies of existing ontology resources for a number of language processing applications. We describe a technique for increasing the ...
171
click to vote
PAMI
1998
15 years 5 months ago
1998
—This paper concerns an efficient algorithm for learning in the limit a special type of regular languages called strictly locally testable languages from positive data, and its a...
135
click to vote
SIAMCO
2002
15 years 5 months ago
2002
Abstract. We formulate a robust optimal control problem for a general nonlinear system with finitely many admissible control settings and with costs assigned to switching of contro...
182
click to vote
TC
2002
15 years 5 months ago
2002
We investigate whether asynchronous computational models and asynchronous algorithms can be considered for designing real-time distributed fault-tolerant systems. A priori, the lac...