3081 search results - page 584 / 617 » A Formal Ontology of Properties |
106
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Image data are often composed of two or more geometrically distinct constituents; in galaxy catalogs, for instance, one sees a mixture of pointlike structures (galaxy supercluster...
122
click to vote
CORR
2008
Springer
15 years 2 months ago
2008
Springer
High confidence in floating-point programs requires proving numerical properties of final and intermediate values. One may need to guarantee that a value stays within some range, ...
102
click to vote
CPHYSICS
2008
15 years 2 months ago
2008
We present wannier90, a program for calculating maximally-localised Wannier functions (MLWF) from a set of Bloch energy bands that may or may not be attached to or mixed with othe...
144
click to vote
IANDC
2007
15 years 1 months ago
2007
We define reactive simulatability for general asynchronous systems. Roughly, simulatability means that a real system implements an ideal system (specification) in a way that pre...
106
click to vote
IJFCS
2007
15 years 1 months ago
2007
In this paper we study a generalization of the classical notions of bordered and unbordered words, motivated by DNA computing. DNA strands can be viewed as finite strings over th...