262 search results - page 27 / 53 » State Space Reduction Techniques for Component Interfaces |
134
click to vote
VEE
2010
ACM
15 years 9 months ago
2010
ACM
Intense research on virtual machines has highlighted the need for flexible software architectures that allow quick evaluation of new design and implementation techniques. The inte...
174
click to vote
HUC
2011
Springer
14 years 1 months ago
2011
Springer
Interactive surfaces like diffuse illumination tabletops (DIT) identify and track objects using multiple techniques like shape and color recognition, fiducial markers, electronic...
103
click to vote
AAAI
1998
15 years 3 months ago
1998
We describe an architecture for exploring very large design spaces, for example, spaces that arise when design candidates are generated by combining components systematically from...
104
click to vote
FMICS
2008
Springer
15 years 3 months ago
2008
Springer
Different approaches have been developed to mitigate the state space explosion of model checking techniques. Among them, symbolic verification techniques use efficient representati...
114
click to vote
ICMLA
2009
14 years 11 months ago
2009
This paper describes a novel real-world reinforcement learning application: The Neuro Slot Car Racer. In addition to presenting the system and first results based on Neural Fitted...