Sciweavers

3466 search results - page 431 / 694
» Fast computation of special resultants
Sort
View
SOSP
1997
ACM
15 years 8 months ago
Application Performance and Flexibility on Exokernel Systems
The exokernel operating system architecture safely gives untrusted software efficient control over hardware and software resources by separating management from protection. This ...
M. Frans Kaashoek, Dawson R. Engler, Gregory R. Ga...
ECAI
2010
Springer
15 years 7 months ago
EP for Efficient Stochastic Control with Obstacles
Abstract. We address the problem of continuous stochastic optimal control in the presence of hard obstacles. Due to the non-smooth character of the obstacles, the traditional appro...
Thomas Mensink, Jakob J. Verbeek, Bert Kappen
190
Voted
DISOPT
2010
138views more  DISOPT 2010»
15 years 6 months ago
The Delivery Man Problem with time windows
In this paper, a variant of the Traveling Salesman Problem with Time Windows is considered, which consists in minimizing the sum of travel durations between a depot and several cu...
Géraldine Heilporn, Jean-François Co...
CORR
2006
Springer
141views Education» more  CORR 2006»
15 years 6 months ago
Spectra of large block matrices
In a frequency selective slow-fading channel in a MIMO system, the channel matrix is of the form of a block matrix. This paper proposes a method to calculate the limit of the eige...
Reza Rashidi Far, Tamer Oraby, Wlodzimierz Bryc, R...
JANCL
2008
170views more  JANCL 2008»
15 years 6 months ago
Algorithmic correspondence and completeness in modal logic
ABSTRACT. In [CON 06b] we introduced the algorithm SQEMA for computing first-order equivalents and proving canonicity of modal formulae, and thus established a very general corresp...
Willem Conradie, Valentin Goranko