1027 search results - page 193 / 206 » Representing and Reasoning with Operational Semantics |
126
Voted
ICDE
2012
IEEE
13 years 2 months ago
2012
IEEE
— Uncertainties in data arise for a number of reasons: when the data set is incomplete, contains conflicting information or has been deliberately perturbed or coarsened to remov...
PPOPP
2009
ACM
16 years 6 days ago
2009
ACM
Researchers in transactional memory (TM) have proposed open nesting as a methodology for increasing the concurrency of transactional programs. The idea is to ignore "low-leve...
POPL
1995
ACM
15 years 3 months ago
1995
ACM
d Abstract) We extend the model of [VRV94] to express strong time-outs (and pre-emption): if an event A does not happen through time t, cause event B to happen at time t. Such con...
105
click to vote
SIGIR
1995
ACM
15 years 3 months ago
1995
ACM
The full integration of information retrieval (IR) features into a database management system (DBMS) has long been recognized as both a significant goal and a challenging undertak...
117
Voted
MM
2010
ACM
14 years 12 months ago
2010
ACM
Huge amounts of social multimedia is being created daily by a combination of globally distributed disparate sensors, including human-sensors (e.g. tweets) and video cameras. Taken...