3128 search results - page 145 / 626 » Finite element method |
118
Voted
PTS
2008
15 years 5 months ago
2008
The problem of generating checking sequences for FSMs with distinguishing sequence has been attracting interest of researchers for several decades. In this paper, a solution is pro...
105
Voted
ACL
1998
15 years 4 months ago
1998
This paper presents a technique to deal with multiword nominal terminology in a computational Lexical Functional Grammar. This method treats multiword terms as single tokens by mo...
SIAMSC
2008
15 years 3 months ago
2008
The goal of this article is to simulate rotating flows of shallow layers of fluid by means of finite volume numerical schemes. More precisely, we focus on the simulation of the geo...
117
click to vote
ANOR
2005
15 years 3 months ago
2005
This paper addresses the problem of loading a finite capacity, stochastic (random) and dynamic multi-project system. The system is controlled by keeping a constant number of projec...
147
Voted
CAV
2006
Springer
15 years 7 months ago
2006
Springer
We propose and evaluate a new algorithm for checking the universality of nondeterministic finite automata. In contrast to the standard algorithm, which uses the subset construction...