2165 search results - page 134 / 433 » cases 2005 |
127
click to vote
ICMCS
2005
IEEE
15 years 9 months ago
2005
IEEE
Remote access to large scale images arouses a growing interest in fields such as Medical Imagery or Remote Sensing. This raises the need for algorithms guaranteeing navigation sm...
138
Voted
IV
2005
IEEE
15 years 9 months ago
2005
IEEE
Lowering computational cost of data analysis and visualization techniques is an essential step towards including the user in the visualization. In this paper we present an improve...
108
Voted
WISE
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. In recent times, there has been an increased utilization of serverside XSLT systems as part of e-commerce and e-publishing applications. For the high volumes of data in t...
156
click to vote
FMCO
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. In recent years a bundle of parallel and distributed algorithms for verification of finite state systems has appeared. We survey distributed-memory enumerative LTL mode...
116
click to vote
SPIRE
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. This work presents an experimental comparison of intersection algorithms for sorted sequences, including the recent algorithm of Baeza-Yates. This algorithm performs on a...