6047 search results - page 959 / 1210 » Modeling with Extend |
127
Voted
MICCAI
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Thickness measurements of the cerebral cortex can aid diagnosis and provide valuable information about the temporal evolution of several diseases such as Alzheimer’s, H...
151
Voted
VMCAI
2010
Springer
15 years 10 months ago
2010
Springer
This paper upgrades Regular Linear Temporal Logic (RLTL) with past operators and complementation. RLTL is a temporal logic that extends the expressive power of linear temporal logi...
120
Voted
CHI
2010
ACM
15 years 10 months ago
2010
ACM
Eco-feedback technology provides feedback on individual or group behaviors with a goal of reducing environmental impact. The history of eco-feedback extends back more than 40 year...
142
Voted
SAC
2010
ACM
15 years 10 months ago
2010
ACM
Process as a Service (PaaS) addresses modeling, execution and management of business processes without running extensive and costly process management software. Such a flexible o...
110
Voted
HICSS
2009
IEEE
15 years 10 months ago
2009
IEEE
This paper addresses the problem of reactive power dispatch in a power system partitioned into several areas controlled by different transmission system operators. Previous resear...