Sciweavers

7890 search results - page 1214 / 1578
» The MathSAT 3 System
Sort
View
JSAC
2007
104views more  JSAC 2007»
15 years 6 months ago
Characterizing Peer-to-Peer Streaming Flows
— The fundamental advantage of peer-to-peer (P2P) multimedia streaming applications is to leverage peer upload capacities to minimize bandwidth costs on dedicated streaming serve...
Chuan Wu, Baochun Li, Shuqiao Zhao
TSP
2008
107views more  TSP 2008»
15 years 6 months ago
Orthogonal and Biorthogonal FIR Hexagonal Filter Banks With Sixfold Symmetry
Recently hexagonal image processing has attracted attention. The hexagonal lattice has several advantages in comparison with the rectangular lattice, the conventionally used lattic...
Qingtang Jiang
WS
2008
ACM
15 years 6 months ago
Recommendations based on semantically enriched museum collections
This article presents the CHIP demonstrator5 for providing personalized access to digital museum collections. It consists of three main components: Art Recommender, Tour Wizard, an...
Yiwen Wang, Natalia Stash, Lora Aroyo, Peter Gorge...
LMCS
2007
132views more  LMCS 2007»
15 years 6 months ago
The Complexity of Model Checking Higher-Order Fixpoint Logic
Higher-Order Fixpoint Logic (HFL) is a hybrid of the simply typed λ-calculus and the modal µ-calculus. This makes it a highly expressive temporal logic that is capable of express...
Roland Axelsson, Martin Lange, Rafal Somla
BC
2004
94views more  BC 2004»
15 years 6 months ago
An adaptive neuro-fuzzy method ( ANFIS) for estimating single-trial movement-related potentials
Abstract. This study aims to recover transient, trialvarying evoked potentials (EPs), in particular the movement-related potentials (MRPs), embedded within the background cerebral ...
D. D. Ben Dayan Rubin, G. Baselli, Gideon F. Inbar...
« Prev « First page 1214 / 1578 Last » Next »