Sciweavers

4047 search results - page 272 / 810
» Some Properties and Some Problems on Set Functors
Sort
View
CBMS
2008
IEEE
16 years 1 months ago
Bridging the Gap: Enabling CBIR in Medical Applications
Content-based Image Retrieval (CBIR) for medical images has received a significant research interest over the past decade as a promising approach to address the data management ch...
Sameer Antani, L. Rodney Long, George R. Thoma
CDC
2009
IEEE
15 years 11 months ago
Metrics on the space of bounded Keplerian orbits and space situational awareness
— A main difficulty for orbit determination of space debris is the correlation of tracks of data belonging to the same physical object. A sequence of optical measurements of an ...
Jared M. Maruskin, Daniel J. Scheeres
ECAI
2004
Springer
15 years 10 months ago
Encoding Quantified CSPs as Quantified Boolean Formulae
Quantified Constraint Satisfaction Problems (QCSPs) are CSPs in which some variables are universally quantified. For each possible value of such variables, we have to find ways to ...
Ian P. Gent, Peter Nightingale, Andrew G. D. Rowle...
SODA
2010
ACM
214views Algorithms» more  SODA 2010»
16 years 3 months ago
Amplified Hardness of Approximation for VCG-Based Mechanisms
If a two-player social welfare maximization problem does not admit a PTAS, we prove that any maximal-in-range truthful mechanism that runs in polynomial time cannot achieve an app...
Shaddin Dughmi, Hu Fu, Robert Kleinberg
IPPS
2006
IEEE
16 years 16 days ago
Compiler and runtime support for predictive control of power and cooling
The low cost of clusters built using commodity components has made it possible for many more users to purchase their own supercomputer. However, even modest-sized clusters make si...
Henry G. Dietz, William R. Dieter