2748 search results - page 199 / 550 » Generating Object-Z Specifications from Use Cases |
133
click to vote
TCIAIG
2010
14 years 7 months ago
2010
In this paper, we applied online neuroevolution to evolve nonplayer characters for The Open Racing Car Simulator (TORCS). While previous approaches allowed online learning with per...
123
Voted
VISUALIZATION
1996
IEEE
1996
IEEE
Flexible Information Visualization of Multivariate Data from Biological Sequence Similarity Searches
15 years 4 months ago
Information visualization faces challenges presented by the need to represent abstract data and the relationships within the data. Previously, we presented a system for visualizin...
107
click to vote
ESORICS
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. Cryptographic protocols are useful for engineering trust in transactions. There are several languages for describing these protocols, but these tend to capture the commun...
ATAL
2010
Springer
15 years 1 months ago
2010
Springer
The use of energy storage devices in homes has been advocated as one of the main ways of saving energy and reducing the reliance on fossil fuels in the future Smart Grid. However,...
138
click to vote
IJCV
2000
15 years 16 days ago
2000
Linear parameterized models of optical flow, particularly affine models, have become widespread in image motion analysis. The linear model coefficients are straightforward to estim...