1690 search results - page 125 / 338 » Applications of Metric Coinduction |
IQ
2007
15 years 1 months ago
2007
: DQ metadata can be stored in a Metadata Repository (MDR). The structure of the MDR should be carefully defined to ensure a maximum amount of flexibility, generality and ease of u...
ICVGIP
2004
15 years 1 months ago
2004
This paper presents several results on images of various configurations of conics. We extract information about the plane from single and multiple views of known and unknown conic...
102
click to vote
BIBE
2010
IEEE
15 years 26 days ago
2010
IEEE
Recent advances in biosensing technologies have led to applications of biosensor probe arrays for rapid identification of biological agents such as drugs, gene expressions, protein...
ENTCS
2010
14 years 12 months ago
2010
Process modeling languages such as "Dynamical Grammars" are highly expressive in the processes they model using stochastic and deterministic dynamical systems, and can b...
ENTCS
2007
14 years 11 months ago
2007
In this paper we introduce the notion of approximate implementations for Probabilistic I/O Automata (PIOA) and develop methods for proving such relationships. We employ a task str...