Sciweavers

3571 search results - page 446 / 715
» Cohen and Set Theory
Sort
View
DATE
2006
IEEE
104views Hardware» more  DATE 2006»
16 years 22 days ago
Equivalence verification of arithmetic datapaths with multiple word-length operands
Abstract: This paper addresses the problem of equivalence verification of RTL descriptions that implement arithmetic computations (add, mult, shift) over bitvectors that have diļ¬...
Namrata Shekhar, Priyank Kalla, Florian Enescu
WMTE
2006
IEEE
16 years 20 days ago
Handheld-Mediated Communication to Support the Effective Sharing of Meaning in Joint Activity
This paper reports the results of a laboratory study of a proposed solution to the problem of coordinating entry into collaborative activity while protecting the privacy and contr...
Kibum Kim, Deborah G. Tatar, Steve R. Harrison
ACMICEC
2006
ACM
152views ECommerce» more  ACMICEC 2006»
16 years 19 days ago
Capacity allocation with competitive retailers
This paper addresses a problem in supply chain management that how scarce resources can be efficiently allocated among competing interests. We present a formal model of allocation...
Masabumi Furuhata, Dongmo Zhang
SIGIR
2006
ACM
16 years 18 days ago
Tensor space model for document analysis
Vector Space Model (VSM) has been at the core of information retrieval for the past decades. VSM considers the documents as vectors in high dimensional space. In such a vector spa...
Deng Cai, Xiaofei He, Jiawei Han
HICSS
2005
IEEE
135views Biometrics» more  HICSS 2005»
16 years 8 days ago
The Rules of Virtual Groups
Concerns about virtual groups include how members develop trust and liking for partners. Previous studies have explored behavioral variables leading to subjectively-experienced tr...
Joseph B. Walther, Ulla Bunz, Natalia N. Bazarova