Sciweavers

4041 search results - page 316 / 809
» time 2009
Sort
View
ECMDAFA
2009
Springer
138views Hardware» more  ECMDAFA 2009»
16 years 1 months ago
A Pattern Mining Approach Using QVT
Model Driven Software Development (MDSD) has matured over the last few years and is now becoming an established technology. Models are used in various contexts, where the possibili...
Jens Kübler, Thomas Goldschmidt
ECSQARU
2009
Springer
16 years 1 months ago
Modelling Argument Accrual in Possibilistic Defeasible Logic Programming
Argumentation frameworks have proven to be a successful approach to formalizing commonsense reasoning. Recently, some argumentation frameworks have been extended to deal with possi...
Mauro Javier Gómez Lucero, Carlos Ivá...
EPIA
2009
Springer
16 years 1 months ago
A Logic Programming System for Evolving Programs with Temporal Operators
Logic Programming Update Languages were proposed as an extension of logic programming that allows modeling the dynamics of knowledge bases where both extensional (facts) and intent...
José Júlio Alferes, Alfredo Gabaldon...
ERCIMDL
2009
Springer
108views Education» more  ERCIMDL 2009»
16 years 1 months ago
Hoppla - Digital Preservation Support for Small Institutions
Small businesses (small office/home office, SOHO) have tremendous amounts of digital information. At the same time, they have little to no expertise on how to manage it, not to me...
Stephan Strodl, Florian Motlik, Andreas Rauber
ESA
2009
Springer
106views Algorithms» more  ESA 2009»
16 years 1 months ago
Fast Evaluation of Interlace Polynomials on Graphs of Bounded Treewidth
Abstract. We consider the multivariate interlace polynomial introduced by Courcelle (2008), which generalizes several interlace polynomials defined by Arratia, Bollob´as, and Sor...
Markus Bläser, Christian Hoffmann