4341 search results - page 502 / 869 » Quantitative Model checking |
204
click to vote
CVPR
2007
IEEE
16 years 8 months ago
2007
IEEE
This paper addresses the problem of markerless tracking of a human in full 3D with a high-dimensional (29D) body model. Most work in this area has been focused on achieving accura...
153
click to vote
VLSID
2005
IEEE
16 years 7 months ago
2005
IEEE
In this paper, we present a simple analytical equation for capturing phase errors in 3-stage ring oscillators. The model, based on a simple but useful idealization of the ring osc...
150
click to vote
WSC
2008
15 years 9 months ago
2008
As the competition becomes more and more intense, many retail small store chain operators are eager to know how to evaluate new store locations quantitatively to support a scienti...
157
click to vote
NAACL
2010
15 years 4 months ago
2010
Current statistical parsers tend to perform well only on their training domain and nearby genres. While strong performance on a few related domains is sufficient for many situatio...
172
click to vote
ENTCS
2010
15 years 4 months ago
2010
Many biological phenomena are inherently multiscale, i.e. they are characterised by interactions involving different scales at the same time. This is the case of bone remodelling,...