11017 search results - page 1997 / 2204 » Closure Systems and their Structure |
226
click to vote
AIRWEB
2007
Springer
16 years 1 months ago
2007
Springer
This paper focuses on spam blog (splog) detection. Blogs are highly popular, new media social communication mechanisms. The presence of splogs degrades blog search results as well...
183
click to vote
ATAL
2007
Springer
16 years 1 months ago
2007
Springer
This paper investigates the problem of estimating the value of probabilistic parameters needed for decision making in environments in which an agent, operating within a multi-agen...
195
click to vote
CAV
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Regular model checking is a form of symbolic model checking technique for systems whose states can be represented as finite words over a finite alphabet, where regular ...
211
click to vote
CMMR
2007
Springer
16 years 1 months ago
2007
Springer
This paper describes recent work on a large-scale, interactive theater performance entitled Schwelle as a platform to pose critical questions around the conception, design and imp...
182
click to vote
GI
2007
Springer
16 years 1 months ago
2007
Springer
: Public transport plays an important role in our society which is characterized by mobility, individuality, comfort and ecological constraints. It is common opinion that public tr...