Sciweavers

73 search results - page 5 / 15
» The First Experience of Class Evolution Support in PJama
Sort
View
FUIN
2010
116views more  FUIN 2010»
13 years 5 months ago
An Investigation of Multi-Agent Planning in CLP
This paper explores the use of Constraint Logic Programming (CLP) as a platform for experimenting with planning problems in the presence of multiple interacting agents. The paper ...
Agostino Dovier, Andrea Formisano, Enrico Pontelli
SPLC
2004
13 years 9 months ago
COVAMOF: A Framework for Modeling Variability in Software Product Families
A key aspect of variability management in software product families is the explicit representation of the variability. Experiences at several industrial software development compan...
Marco Sinnema, Sybren Deelstra, Jos Nijhuis, Jan B...
ITICSE
2000
ACM
14 years 24 days ago
Pedagogical power tools for teaching Java
We describe a Java toolkit that is designed to support the creation of powerful and extensible GUI interfaces during the first year computer science course. The goals of this tool...
Jeff Raab, Richard Rasala, Viera K. Proulx
FOIKS
2006
Springer
14 years 3 days ago
Reasoning Support for Expressive Ontology Languages Using a Theorem Prover
It is claimed in [45] that first-order theorem provers are not efficient for reasoning with ontologies based on description logics compared to specialised description logic reasone...
Ian Horrocks, Andrei Voronkov
ICPR
2010
IEEE
14 years 24 days ago
Large Margin Classifier Based on Affine Hulls
This paper introduces a geometrically inspired large-margin classifier that can be a better alternative to the Support Vector Machines (SVMs) for the classification problems with ...
Hakan Cevikalp, Hasan Serhan Yavuz