Sciweavers

17129 search results - page 416 / 3426
» Applied Computing
Sort
View
WECWIS
2005
IEEE
153views ECommerce» more  WECWIS 2005»
16 years 10 days ago
A Framework for Computing the Outcome of Proxied Combinatorial Auctions
Proxy bidding has been proposed for combinatorial auctions as a means to speed up the auctions, to simplify the user interface, and to limit strategic behavior. The only previousl...
Jie Zhong, Peter R. Wurman
IPPS
2003
IEEE
16 years 1 days ago
Loop Dissevering: A Technique for Temporally Partitioning Loops in Dynamically Reconfigurable Computing Platforms
This paper presents a technique, called loop dissevering, to temporally partitioning any type of loop presented in programming languages. The technique can be used in the presence...
João M. P. Cardoso
CORR
2010
Springer
119views Education» more  CORR 2010»
15 years 4 months ago
Using Information Theory to Study the Efficiency and Capacity of Computers and Similar Devices
We address the problems of estimating the computer efficiency and the computer capacity. We define the computer efficiency and capacity and suggest a method for their estimation, ...
Boris Ryabko
155
Voted
CDC
2009
IEEE
114views Control Systems» more  CDC 2009»
15 years 11 months ago
A computable type theory for control systems
— In this paper, we develop a theory of computable types suitable for the study of control systems. The theory uses type-two effectivity as the underlying computational model, bu...
Pieter Collins
135
Voted
COMPUTER
2010
64views more  COMPUTER 2010»
15 years 4 months ago
Scientific Foundations: A Case for Technology- Mediated Social- Participation Theory
R. Kraut, M. L. Maher, J. Olson, T. W. Malone, Pet...