1992 search results - page 168 / 399 » Model Based Testing with Labelled Transition Systems |
120
Voted
IROS
2007
IEEE
15 years 10 months ago
2007
IEEE
— This paper considers the problem of model based control of the joints of a snake robot without wheels. The potential range of applications for snake robots are numerous, and de...
153
Voted
AUTOMATICA
2010
15 years 2 months ago
2010
When a phenomenon is described by a parametric model and multiple datasets are available, a key problem in statistics is to discover which datasets are characterized by the same p...
120
Voted
COMPUTER
2008
15 years 3 months ago
2008
ions and techniques such as activity models, storyboards, and programming by demonstration (Y. Li and J. Landay, "Activity-Based Prototyping of Ubicomp Applications for Long-L...
131
Voted
SIGSOFT
2000
ACM
15 years 8 months ago
2000
ACM
Constraint-based languages can express in a concise way the complex logic of a new generation of interactive services for applications such as banking or stock trading, that must ...
136
click to vote
WSCG
2001
15 years 5 months ago
2001
Research performed in the field of computer vision has steadily ignored recent advances in programming tools and techniques, relying on well-established traditional methods, such ...