10148 search results - page 99 / 2030 » Optimal sub-graphical models |
119
click to vote
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract— We introduce a dynamic battery model that describes the variations of the capacity of a battery under time varying discharge current. This model is input-output equival...
124
Voted
CHARME
2001
Springer
15 years 7 months ago
2001
Springer
Model checking is the process of verifying whether a model of a concurrent system satisfies a specified temporal property. Symbolic algorithms based on Binary Decision Diagrams (BD...
124
Voted
AAAI
2000
15 years 5 months ago
2000
Recent research has demonstrated the strong performance of hidden Markov models applied to information extraction--the task of populating database slots with corresponding phrases...
91
Voted
CCE
2008
15 years 3 months ago
2008
This paper proposes a new MINLP model for heat exchanger network synthesis that includes streams with phase change. The model considers every possible combination of process strea...
101
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Open Answer Set Programming (OASP) is an attractive framework for integrating ontologies and rules. In general OASP is undecidable. In previous work we provided a tableau-based alg...