Sciweavers

3570 search results - page 546 / 714
» Using the Small-World Model to Improve Freenet Performance
Sort
View
SUM
2007
Springer
16 years 17 days ago
Managing Uncertainty in Schema Matcher Ensembles
Schema matching is the task of matching between concepts describing the meaning of data in various heterogeneous, distributed data sources. With many heuristics to choose from, sev...
Anan Marie, Avigdor Gal
AAAI
2007
15 years 8 months ago
Gender-Sensitive Automated Negotiators
This paper introduces an innovative approach for automated negotiating using the gender of human opponents. Our approach segments the information acquired from previous opponents,...
Ron Katz, Sarit Kraus
BILDMED
2009
107views Algorithms» more  BILDMED 2009»
15 years 7 months ago
Towards an Estimation of Acoustic Impedance from Multiple Ultrasound Images
Abstract. Reflection of sound waves, due to acoustic impedance mismatch at the interface of two media, is the principal physical property which allows visualization with ultrasound...
Christian Wachinger, Ramtin Shams, Nassir Navab
IJCV
2008
191views more  IJCV 2008»
15 years 6 months ago
Searching for Complex Human Activities with No Visual Examples
Abstract We describe a method of representing human activities that allows a collection of motions to be queried without examples, using a simple and effective query language. Our ...
Nazli Ikizler, David A. Forsyth
TCAD
2008
114views more  TCAD 2008»
15 years 6 months ago
Word-Level Predicate-Abstraction and Refinement Techniques for Verifying RTL Verilog
el Predicate Abstraction and Refinement Techniques for Verifying RTL Verilog Himanshu Jain, Daniel Kroening, Natasha Sharygina, and Edmund M. Clarke, Fellow, IEEE As a first step, ...
Himanshu Jain, Daniel Kroening, Natasha Sharygina,...