Sciweavers

9873 search results - page 1873 / 1975
» Emergent Semantics Systems
Sort
View
HASKELL
2008
ACM
13 years 11 months ago
Language and program design for functional dependencies
Eight years ago, functional dependencies, a concept from the theory of relational databases, were proposed as a mechanism for avoiding common problems with multiple parameter type...
Mark P. Jones, Iavor S. Diatchki
MM
2010
ACM
161views Multimedia» more  MM 2010»
13 years 10 months ago
Kodak moments and Flickr diamonds: how users shape large-scale media
In today's age of digital multimedia deluge, a clear understanding of the dynamics of online communities is capital. Users have abandoned their role of passive consumers and ...
Radu Andrei Negoescu, Alexander C. Loui, Daniel Ga...
PODS
2010
ACM
197views Database» more  PODS 2010»
13 years 10 months ago
When data dependencies over SQL tables meet the logics of paradox and S-3
We study functional and multivalued dependencies over SQL tables with NOT NULL constraints. Under a no-information interpretation of null values we develop tools for reasoning. We...
Sven Hartmann, Sebastian Link
AAMAS
2008
Springer
13 years 10 months ago
Logic-based automated multi-issue bilateral negotiation in peer-to-peer e-marketplaces
Abstract. We present a novel logic-based framework to automate multi-issue bilateral negotiation in e-commerce settings. The approach exploits logic as communication language among...
Azzurra Ragone, Tommaso Di Noia, Eugenio Di Sciasc...
ACTA
2010
87views more  ACTA 2010»
13 years 10 months ago
On the observational theory of the CPS-calculus
We study the observational theory of Thielecke's CPS-calculus, a distillation of the target language of Continuation-Passing Style transforms. We define a labelled transition...
Massimo Merro
« Prev « First page 1873 / 1975 Last » Next »