26071 search results - page 108 / 5215 » Making the |
AIED
2005
Springer
14 years 2 months ago
2005
Springer
In this paper, we present an ontology of educational theories their relation to learning design. This ontology takes into account learning design (LD) specifications such as OUNL-E...
APPROX
2005
Springer
14 years 2 months ago
2005
Springer
We study the approximability of 1-in-kSAT, the variant of Max kSAT where a clause is deemed satisfied when precisely one of its literals is satisfied. We also investigate differ...
APPROX
2005
Springer
14 years 2 months ago
2005
Springer
We study the partial vertex cover problem. Given a graph G = (V, E), a weight function w : V → R+ , and an integer s, our goal is to cover all but s edges, by picking a set of v...
DIGRA
2005
Springer
14 years 2 months ago
2005
Springer
With the proliferation of robotics in industry, education and entertainment, artificial intelligent robots challenge the way we think about relationships between humans and machin...
ECMDAFA
2005
Springer
14 years 2 months ago
2005
Springer
Language-centric methodologies, triggered by the success of Domain Specific Languages, rely on precise specifications of modeling s. While the definition of the abstract syntax ...