2597 search results - page 290 / 520 » On numbers of Davenport-Schinzel sequences |
199
Voted
ASM
2008
ASM
15 years 8 months ago
2008
ASM
Abstract. The Mondex case study concerns the formal development and verification of an electronic purse protocol. Several groups have worked on its specification and mechanical ver...
185
click to vote
INCDM
2010
Springer
15 years 8 months ago
2010
Springer
Defining the boundaries of a web-site, for (say) archiving or information retrieval purposes, is an important but complicated task. In this paper a web-page clustering approach to...
186
click to vote
CIARP
2007
Springer
15 years 8 months ago
2007
Springer
This paper deals with the problem of finding the movement of a mobile robot given two consecutive laser scans. The proposed method extracts a line map from the sequence of points ...
187
click to vote
DEXA
2008
Springer
15 years 8 months ago
2008
Springer
Information filtering systems constitute a critical component in modern information seeking applications. As the number of users grows and the information available becomes even bi...
155
click to vote
CATS
2007
15 years 8 months ago
2007
Financial derivatives are contracts concerning rights and obligations to engage in future transactions on some underlying financial instrument. A major concern in financial mark...