6155 search results - page 94 / 1231 » A language for multiple models of computation |
144
click to vote
AIRWEB
2005
Springer
15 years 10 months ago
2005
Springer
We present an approach for detecting link spam common in blog comments by comparing the language models used in the blog post, the comment, and pages linked by the comments. In co...
143
click to vote
QEST
2005
IEEE
15 years 10 months ago
2005
IEEE
iLTL is a probabilistic temporal logic that can specify properties of multiple discrete time Markov chains (DTMCs). In this paper, we describe two related tools: MarkovEstimator a...
151
click to vote
PODC
2009
ACM
16 years 1 months ago
2009
ACM
The era of parallel computing for the masses is here, but writing correct parallel programs remains far more difficult than writing sequential programs. Aside from a few domains,...
139
click to vote
SCCC
1999
IEEE
15 years 8 months ago
1999
IEEE
Threads have been present in programming languages for some time now. However, they have a bad image among software developers because they lead to unreliable applications. Most o...
166
click to vote
SSPR
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. In surveillance systems for monitoring people behaviour, it is imporant to build systems that can adapt to the signatures of the people tasks and movements in the environ...