5030 search results - page 118 / 1006 » cases 2007 |
107
click to vote
AML
2005
15 years 4 months ago
2005
In this paper, we investigate the extent to which techniques used in [10], [2], and [3] -- developed to prove coloring theorems at successors of singular cardinals of uncountable c...
106
click to vote
EMISA
2007
Springer
15 years 10 months ago
2007
Springer
We discuss two experiments in which requirements engineering techniques has been used and evaluated. In the first experiment a technique called Executable Use Cases is applied in t...
104
click to vote
AUTOMATICA
2006
15 years 4 months ago
2006
The H2-optimal controller for systems with preview, in which the knowledge of external input is available in advance for the controller, is derived. The single input case is first...
134
click to vote
ALGORITHMICA
2007
15 years 4 months ago
2007
— We present several new results pertaining to haplotyping. These results concern the combinatorial problem of reconstructing haplotypes from incomplete and/or imperfectly sequen...
EUSFLAT
2001
15 years 6 months ago
2001
The main concern of this paper is to introduce and characterize the class of operators on a finite chain L, having the same properties of pseudo-smooth uninorms but without commut...