2088 search results - page 186 / 418 » Formal Approach to Integrating Feature and Architecture Mode... |
205
click to vote
CMSB
2007
Springer
16 years 22 days ago
2007
Springer
For modeling and analyzing regulatory networks based on qualitative information and possibly additional temporal constraints, approaches using hybrid automata can be very helpful. ...
176
click to vote
ATAL
2004
Springer
15 years 12 months ago
2004
Springer
Most BDI agent architectures rely on plan libraries in order to ensure bounded time for means-ends reasoning. Nevertheless, the usage of fast planning algorithms to provide the ag...
162
click to vote
CADE
2008
Springer
16 years 6 months ago
2008
Springer
Abstract. The LogAnswer system is an application of automated reasoning to the field of open domain question-answering, the retrieval of answers to natural language questions regar...
180
click to vote
WSC
2007
15 years 8 months ago
2007
Using models in different contexts poses major integration challenges, ranging from technical to conceptual levels. Independently of each other developed model components cannot b...
225
click to vote
SPLC
2007
15 years 7 months ago
2007
Software product line engineering aims to reduce development time, effort, cost, and complexity by taking advantage of the commonality within a portfolio of similar products. The ...