811 search results - page 48 / 163 » Refactoring Using Type Constraints |
134
click to vote
GECCO
2004
Springer
15 years 7 months ago
2004
Springer
In financial engineering the problem of portfolio selection has drawn much attention in the last decades. But still unsolved problems remain, while on the one hand the type of mod...
104
Voted
ECCV
1994
Springer
16 years 4 months ago
1994
Springer
This paper presents a method for doing motion segmentation for autonomous vehicles which drive on planar surfaces. There are two distinct types of independent motion that may occu...
129
click to vote
JSAC
2007
15 years 2 months ago
2007
— We consider the design of Tomlinson-Harashima (TH) precoders for broadcast channels in the presence of channel uncertainty. For systems in which uplink-downlink reciprocity is ...
TOOLS
1999
IEEE
15 years 6 months ago
1999
IEEE
This paper summarises a tutorial entitled Analysis by Contract. Using fragments from a simple case study concerning a video store, the paper shows how a type model can provide the...
111
click to vote
KR
2004
Springer
15 years 7 months ago
2004
Springer
We continue to advocate a methodology that we used earlier for pattern discovery through exhaustive search in selected small domains. This time we apply it to the problem of disco...