Sciweavers

4335 search results - page 720 / 867
» Ontology Engineering Relationally
Sort
View
83
Voted
CHI
2004
ACM
16 years 1 months ago
The temporal aspects of work for HCI
The general aim of the workshop is to explore the temporal aspects of work for Human-Computer Interaction (HCI). This position paper attempts to contribute to the exploration by p...
Peter J. Wild, Peter Johnson, Chris Roast, Mary Cz...
226
Voted
POPL
2008
ACM
16 years 1 months ago
Enhancing modular OO verification with separation logic
Conventional specifications for object-oriented (OO) programs must adhere to behavioral subtyping in support of class inheritance and method overriding. However, this requirement ...
Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, She...
179
Voted
SIGMOD
2008
ACM
131views Database» more  SIGMOD 2008»
16 years 25 days ago
Orion 2.0: native support for uncertain data
Orion is a state-of-the-art uncertain database management system with built-in support for probabilistic data as first class data types. In contrast to other uncertain databases, ...
Sarvjeet Singh, Chris Mayfield, Sagar Mittal, Suni...
105
Voted
ICFP
2007
ACM
16 years 19 days ago
Adding delimited and composable control to a production programming environment
Operators for delimiting control and for capturing composable continuations litter the landscape of theoretical programming language research. Numerous papers explain their advant...
Matthew Flatt, Gang Yu, Robert Bruce Findler, Matt...
121
Voted
ICDE
2010
IEEE
227views Database» more  ICDE 2010»
16 years 13 days ago
Approximate Confidence Computation in Probabilistic Databases
Abstract-- This paper introduces a deterministic approximation algorithm with error guarantees for computing the probability of propositional formulas over discrete random variable...
Dan Olteanu, Jiewen Huang, Christoph Koch