6960 search results - page 297 / 1392 » Continuity Analysis of Programs |
130
Voted
WSC
2008
15 years 6 months ago
2008
This paper investigates the effects of demand risk on the performance of supply chain in continuous time setting. The inventory level has been modeled as a jump-diffusion process ...
124
click to vote
ASPDAC
2008
ACM
15 years 6 months ago
2008
ACM
With continued scaling of technology into nanometer regimes, the impact of coupling induced delay variations is significant. While several coupling-aware static timers have been pr...
157
click to vote
CAV
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. This paper presents a constraint-based technique for discovering a rich class of inductive invariants (boolean combinations of polynomial inequalities of bounded degree) ...
105
click to vote
NAACL
2007
15 years 5 months ago
2007
We analyze subword-based language models (LMs) in large-vocabulary continuous speech recognition across four “morphologically rich” languages: Finnish, Estonian, Turkish, and ...
131
Voted
AAAI
1996
15 years 5 months ago
1996
We propose novel gaze control algorithms for active perception in mobile autonomous agents with directable, foveated vision sensors. Our agents are realistic artificial animals, o...