3557 search results - page 331 / 712 » Reviews |
183
Voted
SIGIR
2010
ACM
15 years 11 months ago
2010
ACM
We report on the construction of the PAN Wikipedia vandalism corpus, PAN-WVC-10, using Amazon’s Mechanical Turk. The corpus compiles 32 452 edits on 28 468 Wikipedia articles, a...
219
click to vote
FORMATS
2007
Springer
15 years 11 months ago
2007
Springer
In this paper, we review some recent results on the efficient synthesis of controllers for timed systems. We first recall the basics of controller synthesis for timed games and the...
159
click to vote
SSIRI
2010
15 years 11 months ago
2010
Areas crucial to life such as medicine, transportation, nuclearenergy research and industry, aeronautics, and others, all make use of software in one way or another. However, the ...
188
Voted
EATIS
2009
ACM
15 years 11 months ago
2009
ACM
Federation has emerged as a key concept for identity management, as it is the basis to reduce complexity in the companies and improve user experience. However, the problem of esta...
205
Voted
GIR
2007
ACM
15 years 11 months ago
2007
ACM
Place geo-ontologies have a key role to play in the development of the geospatial-semantic web, with regard to facilitating the search for geographical information and resources. ...