Sciweavers

4128 search results - page 110 / 826
» Learning and using relational theories
Sort
View
COMPLIFE
2006
Springer
15 years 1 months ago
Relational Subgroup Discovery for Descriptive Analysis of Microarray Data
Abstract. This paper presents a method that uses gene ontologies, together with the paradigm of relational subgroup discovery, to help find description of groups of genes different...
Igor Trajkovski, Filip Zelezný, Jakub Tolar...
IBERAMIA
2004
Springer
15 years 3 months ago
Checking Social Properties of Multi-agent Systems with Activity Theory
Many approaches of the agent paradigm emphasize the social and intentional features of their systems, what are called social properties. The study of these aspects demands their ow...
Rubén Fuentes, Jorge J. Gómez-Sanz, ...
MFCS
2001
Springer
15 years 2 months ago
Playing Games with Algorithms: Algorithmic Combinatorial Game Theory
Combinatorial games lead to several interesting, clean problems in algorithms and complexity theory, many of which remain open. The purpose of this paper is to provide an overview...
Erik D. Demaine
ICWE
2004
Springer
15 years 3 months ago
Automating Standards-Based Courseware Development Using UML
Abstract. In this paper we discuss the automatic construction of webbased courseware applications from XML descriptions of appropriate UML models. The created applications conform ...
Andreas Papasalouros, Symeon Retalis, Nikolaos Pap...
SAT
2007
Springer
81views Hardware» more  SAT 2007»
15 years 4 months ago
Short XORs for Model Counting: From Theory to Practice
Abstract. A promising approach for model counting was recently introduced, which in theory requires the use of large random xor or parity constraints to obtain near-exact counts of...
Carla P. Gomes, Jörg Hoffmann, Ashish Sabharw...