Sciweavers

5086 search results - page 246 / 1018
» The Power of Comparative Reasoning
Sort
View
AAAI
2007
15 years 8 months ago
Modeling Reciprocal Behavior in Human Bilateral Negotiation
Reciprocity is a key determinant of human behavior and has been well documented in the psychological and behavioral economics literature. This paper shows that reciprocity has sig...
Ya'akov Gal, Avi Pfeffer
AAAI
2006
15 years 8 months ago
Inconsistencies, Negations and Changes in Ontologies
Ontology management and maintenance are considered cornerstone issues in current Semantic Web applications in which semantic integration and ontological reasoning play a fundament...
Giorgos Flouris, Zhisheng Huang, Jeff Z. Pan, Dimi...
FCSC
2010
170views more  FCSC 2010»
15 years 3 months ago
Formal verification of concurrent programs with read-write locks
Abstract Read-write locking is an important mechanism to improve concurrent granularity, but it is difficult to reason about the safety of concurrent programs with read-write locks...
Ming Fu, Yu Zhang, Yong Li
CODES
2008
IEEE
15 years 8 months ago
ODOR: a microresonator-based high-performance low-cost router for optical networks-on-Chip
The performance of system-on-chip is determined not only by the performance of its functional units, but also by how efficiently they cooperate with one another. It is the on-chip...
Huaxi Gu, Jiang Xu, Zheng Wang
ICADL
2007
Springer
148views Education» more  ICADL 2007»
16 years 21 days ago
Adaptive Search Suggestions for Digital Libraries
Abstract. In this paper, an adaptive tool for providing suggestions during the information search process is presented. The tool uses case-based reasoning techniques to find the m...
Sascha Kriewel, Norbert Fuhr