2514 search results - page 386 / 503 » The use of industrial-strength formal methods |
199
click to vote
ICCTA
2007
IEEE
15 years 10 months ago
2007
IEEE
The variables of the high-level specifications and the automatically generated temporary variables are mapped on to the data-path registers during data-path synthesis phase of hig...
148
click to vote
GECCO
2006
Springer
15 years 10 months ago
2006
Springer
This paper investigates reinforcement learning (RL) in XCS. First, it formally shows that XCS implements a method of generalized RL based on linear approximators, in which the usu...
176
click to vote
AMT
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Consistent description and representation method of user interests are required for personalized Web applications. In this paper, we provide a formal definition and the &...
186
click to vote
ECIR
2007
Springer
15 years 7 months ago
2007
Springer
Measuring the similarity between documents and queries has been extensively studied in information retrieval. However, there are a growing number of tasks that require computing th...
176
click to vote
CSC
2006
15 years 7 months ago
2006
- A variety of data analysis concerned with genome sequences support the proposal that each living organism owns a genomic signature. Classical approaches to the genomic signature ...