4757 search results - page 90 / 952 » A Unique |
126
click to vote
CEFP
2009
Springer
15 years 1 months ago
2009
Springer
Programmers happily use induction to prove properties of recursive programs. To show properties of corecursive programs they employ coinduction, but perhaps less enthusiastically. ...
120
click to vote
GRAPHICSINTERFACE
2009
15 years 1 months ago
2009
Labradorescence is a complex optical phenomenon that can be found in certain minerals, such as Labradorite or Spectrolite. Because of their unique colour properties, these mineral...
123
click to vote
GRAPHICSINTERFACE
2009
15 years 1 months ago
2009
This paper presents a technique for visualizing the differences between two graphs. The technique assumes that a unique labeling of the nodes for each graph is available, where if...
124
click to vote
CORR
2011
Springer
14 years 11 months ago
2011
Springer
—When is optimal estimation linear? It is well-known that, in the case of a Gaussian source contaminated with Gaussian noise, a linear estimator minimizes the mean square estimat...
228
click to vote
TCS
2011
14 years 11 months ago
2011
We consider some Riordan arrays related to binary words avoiding a pattern p, which can be easily studied by means of an A-matrix rather than their A-sequence. Both concepts allow...