1992 search results - page 47 / 399 » Model Based Testing with Labelled Transition Systems |
116
click to vote
ENTCS
2002
15 years 2 months ago
2002
In this paper we propose a new equivalence relation for dynamical and control systems called bisimulation. As the name implies this definition is inspired by the fundamental notio...
121
Voted
VLSID
2002
IEEE
16 years 2 months ago
2002
IEEE
Interconnection networks in Systems-On-Chip begin to have a non-negligible impact on the power consumption of a whole system. This is because of increasing inter-wire capacitances...
158
click to vote
ACL
2011
14 years 6 months ago
2011
We propose a generative model based on Temporal Restricted Boltzmann Machines for transition based dependency parsing. The parse tree is built incrementally using a shiftreduce pa...
93
Voted
IJCAI
2007
15 years 3 months ago
2007
The paper presents the theoretical foundations and an algorithm to reduce the efforts of testing physical systems. A test is formally described as a set of stimuli (inputs to the ...
125
click to vote
ACL
2006
15 years 3 months ago
2006
This article describes a robust semantic parser that uses a broad knowledge base created by interconnecting three major resources: FrameNet, VerbNet and PropBank. The FrameNet cor...