Sciweavers

641 search results - page 92 / 129
» A Framework for Component-Oriented Tool Integration
Sort
View
DIAGRAMS
2010
Springer
13 years 8 months ago
Heterogeneous Reasoning in Real Arithmetic
Abstract. Diagrams often complement sentential proofs in mathematics. However, diagrams are rarely used as standalone reasoning tools. Thus we propose to integrate diagrammatic rea...
Matej Urbas, Mateja Jamnik
IAT
2008
IEEE
13 years 8 months ago
Goal-Directed Interactions in Artifact-Based MAS: Jadex Agents Playing in CARTAGO Environments
In the context of cognitive agent programming frameworks, a main research effort accounts for exploiting goalorientation for specifying and enacting agent interaction. Existing re...
Michele Piunti, Alessandro Ricci, Lars Braubach, A...
CII
2010
87views more  CII 2010»
13 years 8 months ago
The Unified Enterprise Modelling Language - Overview and further work
: The Unified Enterprise Modelling Language (UEML) aims to support integrated use of enterprise and IS models expressed in a variety of languages. The achieve this aim, UEML provid...
Víctor Anaya, Giuseppe Berio, Mounira Harza...
CORR
2008
Springer
69views Education» more  CORR 2008»
13 years 8 months ago
TellTable Spreadsheet Audit: from Technical Possibility to Operating Prototype
At the 2003 EuSpRIG meeting, we presented a framework and software infrastructure to generate and analyse an audit trail for a spreadsheet file. This report describes the results ...
John C. Nash, Andy Adler, Neil Smith
ENGL
2006
170views more  ENGL 2006»
13 years 8 months ago
Hybrid Genetic Algorithms: A Review
Hybrid genetic algorithms have received significant interest in recent years and are being increasingly used to solve real-world problems. A genetic algorithm is able to incorporat...
Tarek A. El-Mihoub, Adrian A. Hopgood, Lars Nolle,...