Sciweavers

429 search results - page 31 / 86
» A Common Sense Development Strategy
Sort
View
SCAM
2008
IEEE
15 years 4 months ago
Parfait - A Scalable Bug Checker for C Code
Parfait is a bug checker of C code that has been designed to address developers’ requirements of scalability (support millions of lines of code in a reasonable amount of time), ...
Cristina Cifuentes
ATAL
2007
Springer
15 years 3 months ago
Unifying distributed constraint algorithms in a BDI negotiation framework
This paper presents a novel, unified distributed constraint satisfaction framework based on automated negotiation. The Distributed Constraint Satisfaction Problem (DCSP) is one t...
Bao Chau Le Dinh, Kiam Tian Seow
JSAC
2006
81views more  JSAC 2006»
14 years 9 months ago
Wireless channel allocation using an auction algorithm
We develop a novel auction-based algorithm to allow users to fairly compete for a wireless fading channel. We use the second-price auction mechanism whereby user bids for the chan...
Jun Sun 0007, Eytan Modiano, Lizhong Zheng
ICIP
1998
IEEE
15 years 11 months ago
An Efficient Mutual Information Optimizer for Multiresolution Image Registration
We propose a new optimizer in the context of multimodal image registration. The optimized criterion is the mutual information between the images to align. This criterion requires ...
Michael Unser, Philippe Thévenaz
CHI
2007
ACM
15 years 10 months ago
Range: exploring proxemics in collaborative whiteboard interaction
Range is an interactive whiteboard designed to support collocated, ad-hoc meetings. It employs proximity sensing to proactively transition between ambient and authoring modes, cle...
Wendy Ju, Brian Lee, Scott R. Klemmer