1380 search results - page 171 / 276 » Reasoning about Input-Output Modeling of Dynamical Systems |
CORR
2008
Springer
13 years 8 months ago
2008
Springer
This project describes the electricity demand and energy consumption management system and its application to Southern Peru smelter. It is composted of an hourly demand-forecastin...
CSAC
2006
13 years 10 months ago
2006
Abstract. Web services constitute a dynamic field of research about technologies of the Internet. WS-BPEL 2.0, is in the way for becoming a standard for defining Web services orche...
WICON
2010
13 years 6 months ago
2010
In context-aware computing, distributed information about entities, such as people, places and objects, is captured and made available to applications, which utilize this context....
CAV
2010
Springer
14 years 26 days ago
2010
Springer
Graded-CTL is an extension of CTL with graded quantifiers which allow to reason about either at least or all but any number of possible futures. In this paper we show an extension...
LREC
2010
13 years 10 months ago
2010
EcoLexicon, a multilingual knowledge resource on the environment, provides an internally coherent information system covering a wide range of specialized linguistic and conceptual...