4962 search results - page 583 / 993 » Stochastic Model Checking |
132
click to vote
NOMS
2008
IEEE
15 years 11 months ago
2008
IEEE
—In this paper∗ , we devise a novel method for bottleneck analysis of UDP networks based on the concept of network utility maximization. To determine the losses on the links in...
137
click to vote
IROS
2007
IEEE
15 years 11 months ago
2007
IEEE
— A new solution to the Simultaneous Localization and Modelling problem is presented. It is based on the stochastic search of solutions in the state space to the global localizat...
130
click to vote
FPGA
2007
ACM
15 years 11 months ago
2007
ACM
Variations in the semiconductor fabrication process results in variability in parameters between transistors on the same die, a problem exacerbated by lithographic scaling. The re...
138
Voted
ICTAI
2006
IEEE
15 years 11 months ago
2006
IEEE
The discovery of objects with exceptional behavior is an important challenge from a knowledge discovery standpoint and has attracted much attention recently. In this paper, we pre...
148
click to vote
ECCV
2006
Springer
15 years 8 months ago
2006
Springer
Three-dimensional structure information can be estimated from two-dimensional images using recursive estimation methods. This paper investigates possibilities to improve structure...