10271 search results - page 1960 / 2055 » Computer Science |
122
click to vote
MFCS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We introduce a natural class of cellular automata characterised by a property of the local transition law without any assumption on the states set. We investigate some al...
132
click to vote
TACAS
2004
Springer
15 years 7 months ago
2004
Springer
Temporal logic is two-valued: formulas are interpreted as either true or false. When applied to the analysis of stochastic systems, or systems with imprecise formal models, tempor...
127
click to vote
VLDB
2004
ACM
15 years 7 months ago
2004
ACM
Link analysis methods show that the interconnections between web pages have lots of valuable information. The link analysis methods are, however, inherently oriented towards analy...
109
click to vote
MIR
2003
ACM
15 years 7 months ago
2003
ACM
In a typical content-based image retrieval (CBIR) system, query results are a set of images sorted by feature similarities with respect to the query. However, images with high fea...
145
click to vote
SIGSOFT
2003
ACM
15 years 7 months ago
2003
ACM
Most applications developed today rely on a given middleware platform which governs the interaction between components, the access to resources, etc. To decide, which platform is ...