1523 search results - page 247 / 305 » Partially ordered secretaries |
101
Voted
CORR
2007
Springer
15 years 18 days ago
2007
Springer
When a physicist performs a quantic measurement, new information about the system at hand is gathered. This presentation studies the logical properties of how this new information...
CORR
2007
Springer
15 years 18 days ago
2007
Springer
Separable convex optimization problems with linear ascending inequality and equality constraints are addressed in this paper. An algorithm that explicitly characterizes the optimum...
109
click to vote
JMIV
2006
15 years 18 days ago
2006
We introduce a novel implicit approach for single object segmentation in 3D images. The boundary surface of this object is assumed to contain two or more known curves (the constrai...
77
Voted
MJ
2008
15 years 17 days ago
2008
The changes of structural and photoluminescence (PL) characteristics of MBE-grown CdZnSe/ZnSe single quantum well (QW) structures caused by Cd/Zn interdiffusion were studied by hi...
120
Voted
JUCS
2006
15 years 17 days ago
2006
Abstract: We present a novel approach to the verification of functional-logic programs. For our verification purposes, equational reasoning is not valid due to the presence of non-...