7311 search results - page 351 / 1463 » Time in State Machines |
194
Voted
ACL
1990
15 years 8 months ago
1990
This paper describes a new hardware algorithm for morpheme extraction and its implementation on a specific machine (MEX-I), as the first step toward achieving natural language par...
199
click to vote
ICCV
2007
IEEE
16 years 9 months ago
2007
IEEE
Visual tracking is a very important front-end to many vision applications. We present a new framework for robust visual tracking in this paper. Instead of just looking forward in ...
201
click to vote
APN
2005
Springer
16 years 1 months ago
2005
Springer
State explosion is a fundamental problem in the analysis and synthesis of discrete event systems. Continuous Petri nets can be seen as a relaxation of discrete models allowing more...
198
click to vote
ATAL
2005
Springer
16 years 1 months ago
2005
Springer
We present an approach to the verification of temporal epistemic properties in synchronous multi-agent systems (MAS) via bounded model checking (BMC). Based on the semantics of s...
196
click to vote
HM
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. This paper introduces a new algorithm, based on the concept of ejection chains, to effectively target vehicle routing problems with time window constraints (VRPTW). Ejec...