10159 search results - page 568 / 2032 » System Design Validation Using Formal Models |
166
click to vote
DL
1997
Springer
15 years 10 months ago
1997
Springer
In a digital library, there are many di erent interaction models between customers and information providers or merchants. Subscriptions, sessions, pay-per-view, shareware, and pr...
170
click to vote
AAAI
2000
15 years 8 months ago
2000
A new approach to evolutionary computation, called Learnable Evolution Model (LEM), has been applied to the problem of optimizing tube structures of heat exchangers. In contrast t...
176
Voted
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Space is a spatial programming language designed to exploit the massive parallelism available in a formal model of computation called the Synchronic A-Ram, and physically related ...
182
click to vote
RSP
2003
IEEE
15 years 12 months ago
2003
IEEE
Model-based testing relies on the use of behavior models to automatically generate sequences of inputs and expected outputs. These sequences can be used as test cases to the end o...
133
click to vote
ICARCV
2008
IEEE
16 years 1 months ago
2008
IEEE
—This paper describes a new active ball handling method for the RoboCup mid-size league as used by team Tech United at Eindhoven University of Technology. A theoretical model is ...