5205 search results - page 75 / 1041 » Tilings and model theory |
ISTA
2008
13 years 10 months ago
2008
Abstract. Service-oriented Computing and Service-oriented Architectures aspire to better exploit existing middleware technologies. To this end, a more flexible, platform independen...
FOCS
2008
IEEE
14 years 3 months ago
2008
IEEE
We give near-optimal sketching and streaming algorithms for estimating Shannon entropy in the most general streaming model, with arbitrary insertions and deletions. This improves ...
ACL
1993
13 years 10 months ago
1993
Various feature descriptions are being employed in constrained-based grammar formalisms. The common notational primitive of these descriptions are functional attributes called fea...
ENTCS
2006
13 years 9 months ago
2006
Runtime verification involves monitoring the system at runtime to check for conformance of the execution trace to user defined safety properties. Typically, run-time verifiers do ...
HICSS
2005
IEEE
14 years 2 months ago
2005
IEEE
This paper extends previous research by proposing a model that can help explain ways to motivate member contributions to online communities (OCs). New features in the model will a...