2954 search results - page 238 / 591 » Beyond |
151
click to vote
PVLDB
2008
15 years 6 months ago
2008
Beyond already existing huge data volumes, e-science communities face major challenges in managing the anticipated data deluge of forthcoming projects. Community-driven data grids...
182
click to vote
RAS
2008
15 years 6 months ago
2008
This work investigates the use of semantic information to link ground level occupancy maps and aerial images. A ground level semantic map, which shows open ground and indicates th...
182
click to vote
GI
2010
Springer
15 years 5 months ago
2010
Springer
: Today most mobile operating systems provide an application portal (e.g. Android Market, AppStore) where users can search by keywords and explicitly rate applications published by...
179
click to vote
IFM
2010
Springer
2010
Springer
Satisfaction Meets Expectations - Computing Expected Values of Probabilistic Hybrid Systems with SMT
15 years 5 months ago
Stochastic satisfiability modulo theories (SSMT), which is an extension of satisfiability modulo theories with randomized quantification, has successfully been used as a symboli...
149
click to vote
LOGCOM
2010
15 years 5 months ago
2010
This paper provides sound and complete logical systems for several fragments of English which go beyond syllogistic logic in that they use verbs as well as other limited syntactic...