1992 search results - page 192 / 399 » Model Based Testing with Labelled Transition Systems |
140
click to vote
JCP
2008
15 years 3 months ago
2008
In this paper, real-time system identification of an unmanned aerial vehicle (UAV) based on multiple neural networks is presented. The UAV is a multi-input multi-output (MIMO) nonl...
149
click to vote
SIBGRAPI
2000
IEEE
15 years 8 months ago
2000
IEEE
This work has as main objective to present an off-line signature verification system. It is basically divided into three parts. The first one demonstrates a pre-processing process,...
130
click to vote
ENTCS
2006
15 years 3 months ago
2006
We build a realizability model for linear logic using a name-passing process calculus. The construction is based on testing semantics for processes, drawing ideas from spatial and...
122
click to vote
TACAS
2009
Springer
15 years 10 months ago
2009
Springer
The ITPN-PerfBound is a tool for the modeling and analysis of Interval Time Petri Nets (ITPN), that is Petri Nets in which firing time intervals, and possibly firing frequency in...
152
click to vote
CIA
2007
Springer
15 years 10 months ago
2007
Springer
We introduce the Consensual N-Player Prisoner’s Dilemma as a large-scale dilemma. We then present a framework for cooperative consensus formation in large-scale MAS under the N-P...