Sciweavers

4131 search results - page 193 / 827
» Compactness in Topology and Computation
Sort
View
ENTCS
2007
126views more  ENTCS 2007»
15 years 6 months ago
Context Dependent Procedures and Computed Types in -eriFun
We present two enhancements of the functional language L which is used in the eriFun system to write programs and formulate statements about them. Context dependent procedures all...
Andreas Schlosser, Christoph Walther, Michael Gond...
APPROX
2004
Springer
113views Algorithms» more  APPROX 2004»
15 years 12 months ago
Computationally-Feasible Truthful Auctions for Convex Bundles
In many economic settings, convex figures on the plane are for sale. For example, one might want to sell advertising space on a newspaper page. Selfish agents must be motivated ...
Moshe Babaioff, Liad Blumrosen
RSP
1999
IEEE
128views Control Systems» more  RSP 1999»
15 years 10 months ago
3-D Floorplanning: Simulated Annealing and Greedy Placement Methods for Reconfigurable Computing Systems
The advances in the programmable hardware has lead to new architectures where the hardware can be dynamically adapted to the application to gain better performance. There are stil...
Kia Bazargan, Ryan Kastner, Majid Sarrafzadeh
PUC
2006
89views more  PUC 2006»
15 years 6 months ago
Using ubiquitous computing in interactive mobile marketing
Unique features of handheld devices, including their mobility, personalization and location-awareness engender new types of applications for mobile commerce, such as mobile adverti...
Stan Kurkovsky, Karthik Harihar
CVPR
2009
IEEE
1094views Computer Vision» more  CVPR 2009»
17 years 1 months ago
Uncalibrated Synthetic Aperture Photography for Defocus Control
Exaggerated defocus cannot be achieved with an ordinary compact digital camera because of its tiny sensor size, so taking pictures that draw the attention of a viewer to the subjec...
Natsumi Kusumoto, Shinsaku Hiura, Kosuke Sato