Sciweavers

2200 search results - page 232 / 440
» The Generalized Pignistic Transformation
Sort
View
263
Voted
POPL
2009
ACM
16 years 6 months ago
Positive supercompilation for a higher order call-by-value language
Previous deforestation and supercompilation algorithms may introduce accidental termination when applied to call-by-value programs. This hides looping bugs from the programmer, an...
Peter A. Jonsson, Johan Nordlander
CHI
2006
ACM
16 years 6 months ago
Whither or whether HCI: requirements analysis for multi-sited, multi-user cyberinfrastructures
Cyberinfrastructures bring together distributed resources to support scientific discoveries. Cyberinfrastructures currently under development are intended to enable the cooperativ...
Ann Zimmerman, Bonnie A. Nardi
SIGMOD
2007
ACM
149views Database» more  SIGMOD 2007»
16 years 6 months ago
BIwTL: a business information warehouse toolkit and language for warehousing simplification and automation
Rapidly leveraging information analytics technologies to mine the mounting information in structured and unstructured forms, derive business insights and improve decision making i...
Bin He, Rui Wang, Ying Chen, Ana Lelescu, James Rh...
EDBT
2002
ACM
132views Database» more  EDBT 2002»
16 years 6 months ago
A Framework for the Physical Design Problem for Data Synopses
Maintaining statistics on multidimensional data distributions is crucial for predicting the run-time and result size of queries and data analysis tasks with acceptable accuracy. To...
Arnd Christian König, Gerhard Weikum
ICCAD
2008
IEEE
153views Hardware» more  ICCAD 2008»
16 years 3 months ago
Boolean factoring and decomposition of logic networks
This paper presents new methods for restructuring logic networks based on fast Boolean techniques. The basis for these are 1) a cut based view of a logic network, 2) exploiting th...
Alan Mishchenko, Robert K. Brayton, Satrajit Chatt...