Sciweavers

1421 search results - page 261 / 285
» The First and Second Max-SAT Evaluations
Sort
View
EKAW
2008
Springer
15 years 1 months ago
Learning Disjointness for Debugging Mappings between Lightweight Ontologies
Abstract. Dealing with heterogeneous ontologies by means of semantic mappings has become an important area of research and a number of systems for discovering mappings between onto...
Christian Meilicke, Johanna Völker, Heiner St...
EMSOFT
2008
Springer
15 years 1 months ago
Volatiles are miscompiled, and what to do about it
C's volatile qualifier is intended to provide a reliable link between operations at the source-code level and operations at the memorysystem level. We tested thirteen product...
Eric Eide, John Regehr
DPHOTO
2010
176views Hardware» more  DPHOTO 2010»
15 years 1 months ago
Low-cost space-varying FIR filter architecture for computational imaging systems
Recent research demonstrates the advantage of designing electro-optical imaging systems by jointly optimizing the optical and digital subsystems. The optical systems designed usin...
Guotong Feng, Mohammed Shoaib, Edward L. Schwartz,...
MASCOTS
2010
15 years 1 months ago
New Algorithms for File System Cooperative Caching
: New Algorithms for File System Cooperative Caching Eric Anderson, Christopher Hoover, Xiaozhou Li HP Laboratories HPL-2010-69 cooperative caching We present two new cooperative ...
Eric Anderson, Christopher Hoover, Xiaozhou Li
I3E
2008
234views Business» more  I3E 2008»
15 years 1 months ago
Development of Recommender Systems Using User Preference Tendencies: An Algorithm for Diversifying Recommendation
Abstract. Many e-commerce sites use a recommendation system to filter the specific information that a user wants out of an overload of information. Currently, the usefulness of the...
Yuki Ogawa, Hirohiko Suwa, Hitoshi Yamamoto, Isamu...