1913 search results - page 96 / 383 » Group Input Machine |
118
click to vote
WEBI
2007
Springer
15 years 6 months ago
2007
Springer
— Many information retrieval and machine learning methods have not evolved in order to be applied to the Web. Two main problems in applying some machine learning techniques for W...
ERSHOV
2003
Springer
15 years 5 months ago
2003
Springer
The article presents an approach to model based testing of complex systems based on a generalization of finite state machines (FSM) and input output state machines (IOSM). The app...
87
Voted
DAC
1992
ACM
15 years 4 months ago
1992
ACM
This paper describes a model for, and an implementation of, production-based synthesis of hardware description language (HDL) code in which the overall structure of the resultant ...
150
Voted
FBT
2000
15 years 2 months ago
2000
The behavior of reactive systems can be described by their black box properties as a relation between input and output streams. More operational is the behavior's description...
ASE
2010
15 years 22 days ago
2010
Given a finite state machine M, a checking sequence is an input sequence that is guaranteed to lead to a failure if the implementation under test is faulty and has no more states t...