Sciweavers

4600 search results - page 830 / 920
» Presentation Of The Eurolang Project
Sort
View
IESA
2007
15 years 8 months ago
CCTS-based Business Information Modelling for Increasing Cross-Organizational Interoperability
The dissemination of e-Business solutions among small and medium sized enterprises (SMEs) is still very low due to various reasons. In the course of the GENESIS project, we aim at ...
Christoph Schroth, G. Pemptroad, Till Janner
FMCO
2008
Springer
117views Formal Methods» more  FMCO 2008»
15 years 8 months ago
Conformance Testing of Distributed Concurrent Systems with Executable Designs
Abstract. This paper presents a unified approach to test case generation and conformance test execution in a distributed setting. A model in the object-oriented, concurrent modelin...
Bernhard K. Aichernig, Andreas Griesmayer, Einar B...
FPLAY
2008
15 years 8 months ago
Interactive accounting simulation environment for accounting education and training
In contrast to traditional teaching-and-learning environments whereby the teacher controls the learning (e.g., teacher-centered), video games present a learner-centered approach t...
Andrew Milner, Andrew Hogue, Bill Kapralos, John F...
ACL
2008
15 years 7 months ago
Collecting a Why-Question Corpus for Development and Evaluation of an Automatic QA-System
Question answering research has only recently started to spread from short factoid questions to more complex ones. One significant challenge is the evaluation: manual evaluation i...
Joanna Mrozinski, Edward W. D. Whittaker, Sadaoki ...
AAAI
2010
15 years 7 months ago
Planning in Dynamic Environments: Extending HTNs with Nonlinear Continuous Effects
Planning in dynamic continuous environments requires reasoning about nonlinear continuous effects, which previous Hierarchical Task Network (HTN) planners do not support. In this ...
Matthew Molineaux, Matthew Klenk, David W. Aha