Sciweavers

13734 search results - page 344 / 2747
» Abstractions of data types
Sort
View
PRIS
2007
15 years 8 months ago
A Novel Distance Measure for Interval Data
Interval data is attracting attention from the data analysis community due to its ability to describe complex concepts. Since clustering is an important data analysis tool, extendi...
Jie Ouyang, Ishwar K. Sethi
SAC
2009
ACM
16 years 1 months ago
Two lower bounds for self-assemblies at temperature 1
Abstract—Using the Tile Assembly Model proposed by Rothemund and Winfree, we give two lower bounds on the minimum number of tile types needed to uniquely assemble a shape at temp...
Ján Manuch, Ladislav Stacho, Christine Stol...
CSMR
2005
IEEE
16 years 8 days ago
Tracing Cross-Cutting Requirements via Context-Based Constraints
In complex systems, it is difficult to identify which system element is involved in which requirement. In this article, we present a new approach for expressing and validating a ...
Felix Bübl, Michael Balser
CSL
1997
Springer
15 years 10 months ago
From Action Calculi to Linear Logic
Abstract. Milner introduced action calculi as a framework for investigating models of interactive behaviour. We present a type-theoretic account of action calculi using the proposi...
Andrew Barber, Philippa Gardner, Masahito Hasegawa...
BILDMED
2009
111views Algorithms» more  BILDMED 2009»
15 years 7 months ago
Model-Based Characterization of Mammographic Masses
Abstract. The discrimination of benign and malignant types of mammographic masses is a major challenge for radiologists. The classic eigenfaces method was recently adapted for the ...
Sven-René von der Heidt, Matthias Elter, Th...