12551 search results - page 2293 / 2511 » Reuse in Systems Engineering |
121
click to vote
CAV
2004
Springer
15 years 10 months ago
2004
Springer
The logic of equality with uninterpreted functions (EUF) and its extensions have been widely applied to processor verification, by means of a large variety of progressively more s...
133
click to vote
DEXA
2004
Springer
15 years 10 months ago
2004
Springer
A lot of work has been done on extracting the model of web user behavior. Most of them target server-side logs that cannot track user behavior outside of the server. Recently, a no...
141
click to vote
ECML
2004
Springer
15 years 10 months ago
2004
Springer
In this paper, we show how the dynamics of Q-learning can be visualized and analyzed from a perspective of Evolutionary Dynamics (ED). More specifically, we show how ED can be use...
155
click to vote
ESWS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. In this paper we describe a methodology for harvesting information from large distributed repositories (e.g. large Web sites) with minimum user intervention. The methodol...
140
click to vote
EUROSPI
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Extreme programming (XP), similar to other agile software development methods, values close collaboration with customers. One of the XP's practices suggests that cus...