Sciweavers

6348 search results - page 75 / 1270
» A Lesson for Software Engineering from Knowledge Engineering
Sort
View
BMCBI
2008
122views more  BMCBI 2008»
15 years 3 months ago
OpenDMAP: An open source, ontology-driven concept analysis engine, with applications to capturing knowledge regarding protein tr
Background: Information extraction (IE) efforts are widely acknowledged to be important in harnessing the rapid advance of biomedical knowledge, particularly in areas where import...
Lawrence Hunter, Zhiyong Lu, James Firby, William ...
AAAI
2008
15 years 5 months ago
HTN-MAKER: Learning HTNs with Minimal Additional Knowledge Engineering Required
We describe HTN-MAKER, an algorithm for learning hierarchical planning knowledge in the form of decomposition methods for Hierarchical Task Networks (HTNs). HTNMAKER takes as inpu...
Chad Hogg, Héctor Muñoz-Avila, Ugur ...
AEI
2004
114views more  AEI 2004»
15 years 3 months ago
Physical concept ontology for the knowledge intensive engineering framework
Knowledge intensive engineering aims at flexible applications of a variety of product life cycle knowledge, such as design, manufacturing, operations, maintenance, and recycling. ...
Masaharu Yoshioka, Yasushi Umeda, Hideaki Takeda, ...
ICSE
2009
IEEE-ACM
15 years 28 days ago
Model checking flight control systems: The Airbus experience
This paper presents experiments realized by Airbus on model checking a safety critical system, lessons learnt and ways forward to extend the industrial use of formal verification ...
Thomas Bochot, Pierre Virelizier, Hél&egrav...
DAGSTUHL
2006
15 years 4 months ago
Status of Empirical Research in Software Engineering
We provide an assessment of the status of empirical software research by analyzing all refereed articles that appeared in the Journal of Empirical Software Engineering from its fir...
Andreas Höfer, Walter F. Tichy