Sciweavers

2324 search results - page 103 / 465
» Benchmark Generation Using Domain Specific Modeling
Sort
View
IASSE
2004
14 years 11 months ago
The Bosco Project - A JMI-Compliant Template-based Code Generator
Bosco is a code generation tool, which goal is to accept any MOF model as parameter and follow the evolution of OMG standards. It generates the underlying model (also called repos...
Pascal André, Gilles Ardourel, Gerson Suny&...
NAR
2011
305views Computer Vision» more  NAR 2011»
14 years 24 days ago
CDD: a Conserved Domain Database for the functional annotation of proteins
NCBI’s Conserved Domain Database (CDD) is a resource for the annotation of protein sequences with the location of conserved domain footprints, and functional sites inferred from...
Aron Marchler-Bauer, Shennan Lu, John B. Anderson,...
AAAI
1990
14 years 11 months ago
Backward Model Tracing: An Explanation-Based Approach for Reconstructing Student Reasoning
An original methodology, called backward model tracing to model student performance which features a profitable integration of the bug collection and bug construction techniques i...
Danilo Fum, Paolo Giangrandi, Carlo Tasso
ECMDAFA
2006
Springer
228views Hardware» more  ECMDAFA 2006»
15 years 1 months ago
Model Driven Development of Multi-Agent Systems
Abstract. Design patterns are templates of general solutions to commonlyoccurring problems in the analysis and design of software systems. In mature development processes, engineer...
Juan Pavón, Jorge J. Gómez-Sanz, Rub...
AI
2004
Springer
14 years 9 months ago
ASSAT: computing answer sets of a logic program by SAT solvers
We propose a new translation from normal logic programs with constraints under the answer set semantics to propositional logic. Given a normal logic program, we show that by addin...
Fangzhen Lin, Yuting Zhao