Sciweavers

1631 search results - page 179 / 327
» Observing Functional Logic Computations
Sort
View
148
Voted
LICS
2009
IEEE
15 years 10 months ago
Trace Semantics is Fully Abstract
mantics Is Fully Abstract∗ Sumit Nain and Moshe Y. Vardi Rice University, Department of Computer Science Houston, TX 77005-1892, USA The discussion in the computer-science liter...
Sumit Nain, Moshe Y. Vardi
FCCM
2007
IEEE
129views VLSI» more  FCCM 2007»
15 years 10 months ago
Automatic On-chip Memory Minimization for Data Reuse
FPGA-based computing engines have become a promising option for the implementation of computationally intensive applications due to high flexibility and parallelism. However, one...
Qiang Liu, George A. Constantinides, Konstantinos ...
WSTST
2005
Springer
15 years 9 months ago
Soft Modeling of Group Dynamics and Behavioral Attributes
: Social networks, religion and culture of human beings play a major role in the day-to-day activities performed by each individual in group oriented missions. The aggregation and ...
Soumya Banerjee, Ajith Abraham, Sang-Yong Han, P. ...
118
Voted
HRI
2010
ACM
15 years 9 months ago
Mysterious machines
—Alan Turing proposed a test for the intelligence of machines in 1950 [1]. Despite great efforts, no computer has passed this test so far. Each year, chat bots compete for the Lo...
Billy Schonenberg, Christoph Bartneck
141
Voted
SIGMOD
2010
ACM
174views Database» more  SIGMOD 2010»
15 years 8 months ago
Sampling dirty data for matching attributes
We investigate the problem of creating and analyzing samples of relational databases to find relationships between string-valued attributes. Our focus is on identifying attribute...
Henning Köhler, Xiaofang Zhou, Shazia Wasim S...