Sciweavers

201 search results - page 22 / 41
» On the role of composition in XQuery
Sort
View
CORR
2008
Springer
106views Education» more  CORR 2008»
13 years 11 months ago
Topological Observations on Multiplicative Additive Linear Logic
As an attempt to uncover the topological nature of composition of strategies in game semantics, we present a "topological" game for Multiplicative Additive Linear Logic ...
André Hirschowitz, Michel Hirschowitz, Tom ...
CSB
2005
IEEE
143views Bioinformatics» more  CSB 2005»
14 years 4 months ago
Analysis of four different sets of predictive features for metalloproteins
Metals bound to the protein are important for functional or structural roles. Despite their importance there is a distinct lack of research for identification of metalloproteins f...
Huseyin Seker, Parvez I. Haris
CSL
1992
Springer
14 years 2 months ago
Communicating Evolving Algebras
We develop the rst steps of a theory of concurrency within the framework of evolving algebras of Gurevich, with the aim of investigating its suitability for the role of a general f...
Paola Glavan, Dean Rosenzweig
IADIS
2008
14 years 8 days ago
Subspace Orthogonal Projection for Texture Segmentation with Wavelet Frames
We propose a new supervised texture segmentation and classification technique based on combining features extracted from the discrete wavelet frames of an image (specifically, the...
Mahmoud K. Quweider
MVA
2000
203views Computer Vision» more  MVA 2000»
14 years 5 days ago
An Environment to Test Progressive Refinement of Indexing for Content-Based Image Retrieval
Content-based image retrieval is a fairly new discipline. Yet research in this field has highlighted many approaches that show good performance in specific subproblems using singl...
Maria Grazia Albanesi, Marco Ferretti, Alessandro ...