2661 search results - page 315 / 533 » Model Checking Performability Properties |
100
click to vote
ICML
2009
IEEE
16 years 1 months ago
2009
IEEE
This paper describes an unsupervised learning technique for modeling human locomotion styles, such as distinct related activities (e.g. running and striding) or variations of the ...
103
Voted
ISCIS
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Flexible Manufacturing Systems (FMSs) are adopted to process different goods in different mix ratios allowing firms to react quickly and efficiently to changes in produ...
CCE
2004
15 years 16 days ago
2004
In the literature, optimization models deal with planning and scheduling of several subsystems of the petroleum supply chain such as oilfield infrastructure, crude oil supply, ref...
91
Voted
JPDC
2011
14 years 7 months ago
2011
Networks-on-chip (NoCs) are used in a growing number of SoCs and multi-core processors. Because messages compete for the NoC’s shared resources, quality of service and resource ...
111
click to vote
ICCV
2001
IEEE
16 years 2 months ago
2001
IEEE
Linear perspective projection has served as the dominant imaging model in computer vision. Recent developments in image sensing make the perspective model highly restrictive. This...