7890 search results - page 1337 / 1578 » The MathSAT 3 System |
175
click to vote
AIED
2005
Springer
16 years 5 days ago
2005
Springer
This paper describes an approach for analysis of computer-supported learning processes utilizing logfiles of learners’ actions. We provide help to researchers and teachers in ...
174
click to vote
APPT
2005
Springer
16 years 5 days ago
2005
Springer
Simultaneous MultiThreading (SMT) achieves better system resource utilization and higher performance because it exploits ThreadLevel Parallelism (TLP) in addition to “conventiona...
175
click to vote
BIRTHDAY
2005
Springer
16 years 5 days ago
2005
Springer
abstract. In this paper we investigate a formalism for solving planning problems based on ordered task decomposition using Answer Set Programming (ASP). Our planning methodology is...
177
click to vote
CEEMAS
2005
Springer
16 years 5 days ago
2005
Springer
In the AOSE (Agent-Oriented Software Engineering) area, several research efforts are underway to develop appropriate meta-models for agent-oriented methodologies. Meta-models are ...
159
click to vote
SPIRE
2005
Springer
16 years 3 days ago
2005
Springer
Retrieval systems rank documents according to their retrieval status values (RSV) if these are monotonously increasing with the probability of relevance of documents. In this work,...