Sciweavers

3108 search results - page 326 / 622
» The Elements of Computer Credibility
Sort
View
OTM
2005
Springer
16 years 4 days ago
Semantic Schema Matching
We view match as an operator that takes two graph-like structures (e.g., XML schemas) and produces a mapping between the nodes of these graphs that correspond semantically to each ...
Fausto Giunchiglia, Pavel Shvaiko, Mikalai Yatskev...
SG
2005
Springer
16 years 4 days ago
Metrics for Functional and Aesthetic Label Layouts
Abstract. Co-referential relations between textual and visual elements in illustrations can be encoded efficiently through textual labels. The labels support students to learn unk...
Knut Hartmann, Timo Götzelmann, Kamran Ali, T...
120
Voted
WDAG
2005
Springer
77views Algorithms» more  WDAG 2005»
16 years 3 days ago
Restricted Stack Implementations
We introduce a new object, BH, and prove that a system with one BH object and single-writer Registers has the same computational power as a system with countably many commutative a...
Matei David, Alex Brodsky, Faith Ellen Fich
ASPDAC
2004
ACM
104views Hardware» more  ASPDAC 2004»
16 years 2 days ago
A small-area high-performance 512-point 2-dimensional FFT single-chip processor
: A single-chip 512-point FFT processor is presented. This processor is based on the cached-memory architecture (CMA) with the resource-saving multidatapath radix-23 computation el...
Naoto Miyamoto, Leo Karnan, Kazuyuki Maruo, Koji K...
199
Voted
PEWASUN
2004
ACM
16 years 2 days ago
An M/MMGI/1/K queuing model for IEEE 802.11 ad hoc networks
An M/MMGI/1/K queuing model is developed for the analysis of IEEE 802.11 DCF using RTS/CTS. Results are based on arbitrary contention conditions, namely, collision probabilities, ...
Mustafa Özdemir, A. Bruce McDonald