210 search results - page 41 / 42 » A Unified Theory of Irony and Its Computational Formalizatio... |
POPL
2010
ACM
14 years 4 months ago
2010
ACM
In functional programming, monadic characterizations of computational effects are normally understood denotationally: they describe how an effectful program can be systematically ...
PODS
2009
ACM
14 years 8 months ago
2009
ACM
The paper investigates the question of whether a partially closed database has complete information to answer a query. In practice an enterprise often maintains master data Dm, a ...
KDD
2007
ACM
14 years 7 months ago
2007
ACM
Dimension attributes in data warehouses are typically hierarchical (e.g., geographic locations in sales data, URLs in Web traffic logs). OLAP tools are used to summarize the measu...
ICRA
2009
IEEE
14 years 2 months ago
2009
IEEE
— Recent research has shown that robots can model their world with Multi-Level (ML) surface maps, which utilize ‘patches’ in a 2D grid space to represent various environment ...
EMSOFT
2004
Springer
14 years 23 days ago
2004
Springer
Data flow process networks are a good model of computation for streaming multimedia applications incorporating audio, video and/or graphics streams. Process networks are concurre...