Sciweavers

1451 search results - page 152 / 291
» Order independence and rationalizability
Sort
View
CAIP
2007
Springer
135views Image Analysis» more  CAIP 2007»
16 years 20 days ago
An Automatic Microarray Image Gridding Technique Based on Continuous Wavelet Transform
In the present study, a new gridding method based on continuous wavelet transform (CWT) was performed. Line profiles of x and y axis were calculated, resulting to 2 different signa...
Emmanouil Athanasiadis, Dionisis Cavouras, Panagio...
ICARIS
2007
Springer
16 years 19 days ago
An Artificial Immune System-Inspired Multiobjective Evolutionary Algorithm with Application to the Detection of Distributed Comp
Today’s signature-based intrusion detection systems are reactive in nature and storage-limited. Their operation depends upon catching an instance of an intrusion or virus and en...
Charles R. Haag, Gary B. Lamont, Paul D. Williams,...
ICLP
2007
Springer
16 years 19 days ago
Automatic Correctness Proofs for Logic Program Transformations
Abstract. The many approaches which have been proposed in the literature for proving the correctness of unfold/fold program transformations, consist in associating suitable well-fo...
Alberto Pettorossi, Maurizio Proietti, Valerio Sen...
SAINT
2006
IEEE
16 years 14 days ago
A Capability-Based Access Control Architecture for Multi-Domain Publish/Subscribe Systems
Publish/subscribe has emerged as an attractive communication paradigm for building Internet-wide distributed systems by decoupling message senders from receivers. So far most of t...
Lauri I. W. Pesonen, David M. Eyers, Jean Bacon
DEXAW
2005
IEEE
210views Database» more  DEXAW 2005»
16 years 3 days ago
LEICA: Loosely-Coupled Environment for Integrating Collaborative Applications
Collaboration activities usually involve several people presenting different group tasks and requirements. Accordingly, collaboration is rarely supported by a single CSCW technolo...
Roberta Lima-Gomes, Guillermo de Jesús Hoyo...