891 search results - page 55 / 179 » Full Abstraction for PCF |
CMMR
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. NEEDS REWRITE We present an audio browsing and editing paradigm that incorporates the “focus plus context” visual interaction metaphor. A traditional waveform is disp...
CSCLP
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Combinatorial problems such as scheduling, resource allocation, and configuration have many attributes that can be subject of user preferences. Traditional optimization ...
ICANN
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. We present a novel approach to structure learning for graphical models. By using nonparametric estimates to model clique densities in decomposable models, both discrete a...
ISVC
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. We investigate image retrieval using interest point descriptors. New geographic information systems such as Google Earth and Microsoft Virtual Earth are providing increas...
IWINAC
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. We consider the numerical evolutionary optimization of dynamic molecular alignment by shaped femtosecond laser pulses. We study a simplified model of this quantum contro...