12264 search results - page 316 / 2453 » An Analysis of the XSL Algorithm |
161
click to vote
FSEN
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. During the last years, timed automata have become a popular model for describing the behaviour of real-time systems. In particular, there has been much research on proble...
173
click to vote
GECCO
2007
Springer
16 years 25 days ago
2007
Springer
Computation in biology and in conventional computer architectures seem to share some features, yet many of their important characteristics are very different. To address this, [1]...
152
click to vote
INFOCOM
2005
IEEE
16 years 8 days ago
2005
IEEE
— In this paper we look at TCP data which was passively collected from an edge ISP, and analyze it to obtain some new results and deeper understanding of TCP loss process. The fo...
198
click to vote
SIGIR
2005
ACM
16 years 7 days ago
2005
ACM
We formulate and study search algorithms that consider a user’s prior interactions with a wide variety of content to personalize that user’s current Web search. Rather than re...
169
click to vote
CHARME
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. We propose a new saturation-based symbolic state-space generation algorithm for finite discrete-state systems. Based on the structure of the high-level model specificat...