Sciweavers

1912 search results - page 82 / 383
» On the evaluation of argumentation formalisms
Sort
View
IWPC
2007
IEEE
16 years 17 days ago
Combining Formal Concept Analysis with Information Retrieval for Concept Location in Source Code
The paper addresses the problem of concept location in source code by presenting an approach which combines Formal Concept Analysis (FCA) and Latent Semantic Indexing (LSI). In th...
Denys Poshyvanyk, Andrian Marcus
DATE
2006
IEEE
125views Hardware» more  DATE 2006»
16 years 10 days ago
Formal performance analysis and simulation of UML/SysML models for ESL design
UML2 and SysML try to adopt techniques known from software development to systems engineering. However, the focus has been put on modeling aspects until now and quantitative perfo...
Alexander Viehl, Timo Schönwald, Oliver Bring...
SIGIR
2006
ACM
16 years 7 days ago
Formal models for expert finding in enterprise corpora
Searching an organization’s document repositories for experts provides a cost effective solution for the task of expert finding. We present two general strategies to expert se...
Krisztian Balog, Leif Azzopardi, Maarten de Rijke
DFKI
2005
Springer
15 years 11 months ago
Agents Enacting Social Roles. Balancing Formal Structure and Practical Rationality in MAS Design
Abstract. We introduce an integrated approach to the conceptualisation, implementation and evaluation of a MAS (multi-agent system) which is based on sociological concepts of pract...
Martin Meister 0002, Diemo Urbig, Kay Schröte...
ITS
2004
Springer
123views Multimedia» more  ITS 2004»
15 years 11 months ago
Combining Heuristics and Formal Methods in a Tool for Supporting Simulation-Based Discovery Learning
Abstract. This paper describes the design of a tool to support learners in simulation-based discovery learning environments. The design redesigns and extents a previous tool to ove...
Koen Veermans, Wouter R. van Joolingen