1992 search results - page 307 / 399 » Model Based Testing with Labelled Transition Systems |
119
click to vote
ICFEM
2000
Springer
15 years 6 months ago
2000
Springer
Use Cases are a wide-spread informal method for specifying the requirements of a technical system in the early development phase. Z is a formal notation which aims to support, bes...
166
click to vote
MICAI
2010
Springer
15 years 1 months ago
2010
Springer
We present our experiments on Recognizing Textual Entailment based on modeling the entailment relation as a classification problem. As features used to classify the entailment pair...
119
click to vote
CSE
2009
IEEE
15 years 10 months ago
2009
IEEE
—Sociological models of human behavior can explain population-level phenomena within social systems; computer modeling can simulate a wide variety of scenarios and allow one to p...
143
click to vote
NN
2006
Springer
15 years 3 months ago
2006
Springer
An important component of language acquisition and cognitive learning is gaze imitation. Infants as young as one year of age can follow the gaze of an adult to determine the objec...
113
click to vote
ICRA
2005
IEEE
15 years 8 months ago
2005
IEEE
- This work aims to demonstrate the feasibility of using Electro-Rheological Fluid (ERF) actuators in orthotics, creating a new breed of rehabilitation devices. ERFs are fluids tha...