Sciweavers

3001 search results - page 116 / 601
» Recursive type generativity
Sort
View
ECOWS
2006
Springer
15 years 8 months ago
WSMO-MX: A Logic Programming Based Hybrid Service Matchmaker
In this paper, we present an approach to hybrid semantic web service matching based on both logic programming, and syntactic similarity measurement. The implemented matchmaker, ca...
Frank Kaufer, Matthias Klusch
ETM
2010
163views Economy» more  ETM 2010»
15 years 6 months ago
Estimating AS Relationships for Application-Layer Traffic Optimization
The relationships among autonomous systems (ASes) on the Internet are categorized into two major types: transit and peering. We propose a method for quantifying AS' network si...
Hirochika Asai, Hiroshi Esaki
CANDC
2006
ACM
15 years 5 months ago
An RNA folding algorithm including pseudoknots based on dynamic weighted matching
On the basis of maximum weighted matching (MWM) algorithm, we introduced a dynamic weight related with stem length and used a recursive algorithm to predict RNA secondary structur...
Haijun Liu, Dong Xu, Jianlin Shao, Yifei Wang
JUCS
2008
134views more  JUCS 2008»
15 years 5 months ago
Computability of Topological Pressure for Sofic Shifts with Applications in Statistical Physics
: The topological pressure of dynamical systems theory is examined from a computability theoretic point of view. It is shown that for sofic shift dynamical systems, the topological...
Christoph Spandl
TIT
2008
87views more  TIT 2008»
15 years 5 months ago
Performance of Parallel Concatenated Coding Schemes
In this paper we study ensembles of parallel concatenated codes and we present precise results on their asymptotic performance. In particular, we prove that We prove that in any p...
Fabio Fagnani