Sciweavers

641 search results - page 73 / 129
» A Framework for Component-Oriented Tool Integration
Sort
View
DATE
2005
IEEE
165views Hardware» more  DATE 2005»
14 years 1 months ago
AutoMoDe - Model-Based Development of Automotive Software
This paper describes first results from the AutoMoDe (Automotive Model-Based Development) project. The overall goal of the project is to develop an integrated methodology for mode...
Dirk Ziegenbein, Peter Braun 0003, Ulrich Freund, ...
FMCO
2003
Springer
144views Formal Methods» more  FMCO 2003»
14 years 1 months ago
Semantic Essence of AsmL
ract State Machine Language, AsmL, is a novel executable specification based on the theory of Abstract State Machines. AsmL is object-oriented, provides high-level mathematical d...
Yuri Gurevich, Benjamin Rossman, Wolfram Schulte
IAT
2006
IEEE
14 years 1 months ago
Behavior-Based Web Page Evaluation
This paper describes our efforts to factor in a user’s browsing behavior to automatically evaluate web pages that the user shows interest in, based on user browsing behaviors wh...
Ganesan Velayathan, Seiji Yamada
AIED
2005
Springer
14 years 1 months ago
Explainable Artificial Intelligence for Training and Tutoring
This paper describes an Explainable Artificial Intelligence (XAI) tool that allows entities to answer questions about their activities within a tactical simulation. We show how XAI...
H. Chad Lane, Mark G. Core, Michael van Lent, Stev...
COLING
1992
13 years 9 months ago
Towards Developing Reusable NLP Dictionaries
Development of reusahle dictionaries for NI,P applications requires a carefully designed lexicological framework, a lexical acquisition strategy, an integrated development toolbox...
Pim van der Eijk, Laura Bloksma, Mark van der Kraa...