Search Sciweavers | Sciweavers

202 search results - page 1 / 41

» ideal 2004

click to vote

IDEAL
2004
Springer

116views Intelligent Agents» more IDEAL 2004»

DESCRY: A Density Based Clustering Algorithm for Very Large Data Sets

13 years 10 months ago

Download dns2.icar.cnr.it

Fabrizio Angiulli, Clara Pizzuti, Massimo Ruffolo

claim paper

Read More »

click to vote

ISW
2004
Springer

119views Information Technology» more ISW 2004»

Low-Level Ideal Signatures and General Integrity Idealization

13 years 10 months ago

Download www.zurich.ibm.com

Abstract. Recently we showed how to justify a Dolev-Yao type model of cryptography as used in virtually all automated protocol provers under active attacks and in arbitrary protoco...

Michael Backes, Birgit Pfitzmann, Michael Waidner

claim paper

Read More »

click to vote

ICFEM
2004
Springer

88views Software Engineering» more ICFEM 2004»

CSP Representation of Game Semantics for Second-Order Idealized Algol

13 years 10 months ago

Download research.microsoft.com

Aleksandar Dimovski, Ranko Lazic

claim paper

Read More »

click to vote

JBI
2004

98views Bioinformatics» more JBI 2004»

New Relations in the Edge Ideal Metrics Family for Biopolymers

13 years 6 months ago

Download dmi.uib.es

Some new relations in the family of edge ideal metrics for biopolymers are proved. Also, some statistical relations among the metrics are shown using a big synthetic contact struc...

Ricardo Alberich, Jairo Rocha

claim paper

Read More »

click to vote

ADCM
2004

93views more ADCM 2004»

Multivariate Refinable Functions of High Approximation Order Via Quotient Ideals of Laurent Polynomials

13 years 4 months ago

Download www.uni-giessen.de

We give an algebraic interpretation of the well

H. Michael Möller, Tomas Sauer

claim paper