448 search results - page 65 / 90 » A Meta-Method for Formal Method Integration |
131
Voted
OGAI
1993
15 years 6 months ago
1993
Fuzzy controllers are designed to work with knowledge in the form of linguistic control rules. But the translation of these linguistic rules into the framework of fuzzy set theory ...
131
Voted
AAAI
2007
15 years 5 months ago
2007
Description Logics, and in particular the web ontology language OWL has been proposed as an appropriate basis for computing matches between structured objects for the sake of info...
114
Voted
AMAST
2008
Springer
15 years 4 months ago
2008
Springer
Feature-Oriented Software Development (FOSD) provides a multitude of formalisms, methods, languages, and tools for building variable, customizable, and extensible software. Along d...
ACL
2006
15 years 4 months ago
2006
This paper explores the role of information retrieval in answering "relationship" questions, a new class complex information needs formally introduced in TREC 2005. Sinc...
119
Voted
WSC
1998
15 years 4 months ago
1998
Simulation modeling provides an effective and powerful approach for capturing and analyzing complex manufacturing systems. More and more decisions are based on computer generated ...