Sciweavers

10568 search results - page 351 / 2114
» Computer Intelligence and Formalization
Sort
View
MDAI
2007
Springer
15 years 10 months ago
Lindig's Algorithm for Concept Lattices over Graded Attributes
Formal concept analysis (FCA) is a method of exploratory data analysis. The data is in the form of a table describing relationship between objects (rows) and attributes (columns), ...
Radim Belohlávek, Bernard De Baets, Jan Out...
139
Voted
DEON
2004
Springer
15 years 9 months ago
Collective Obligations and Agents: Who Gets the Blame?
This work addresses the issue of obligations directed to groups of agents. Our main concern consists in providing a formal analysis of the structure connecting collective obligatio...
Davide Grossi, Frank Dignum, Lambèr M. M. R...
149
Voted
ECAL
2003
Springer
15 years 9 months ago
Representation of Genotype and Phenotype in a Coherent Framework Based on Extended L-Systems
A formal language approach for the specification of ALife models is presented. “Relational Growth Grammars” incorporate rulebased, procedural and object-oriented concepts. By ...
Ole Kniemeyer, Gerhard H. Buck-Sorlin, Winfried Ku...
MIDDLEWARE
2007
Springer
15 years 10 months ago
Rule-based reasoning about qualitative spatiotemporal relations
This paper is about a novel rule-based approach for reasoning about qualitative spatiotemporal relations among technology-rich autonomous objects, to which we refer to as artifact...
Clemens Holzmann
ITS
2010
Springer
163views Multimedia» more  ITS 2010»
15 years 9 months ago
Using Problem-Solving Context to Assess Help Quality in Computer-Mediated Peer Tutoring
Collaborative activities, like peer tutoring, can be beneficial for student learning, but only when students are supported in interacting effectively. Constructing intelligent tuto...
Erin Walker, Sean Walker, Nikol Rummel, Kenneth R....