553 search results - page 71 / 111 » Phoenix Tool: A Support to Semantic Learning Model |
ECTEL
2007
Springer
15 years 6 months ago
2007
Springer
Currently national digital library of educational resources and services (DLE) for primary and secondary education is under implementation in Lithuania. The article aims to analyse...
98
Voted
EDUTAINMENT
2008
Springer
15 years 1 months ago
2008
Springer
Subdivision is a convenient tool to construct objective curves and surfaces directly from given scattered points. Stationary p-subdivision schemes are highly efficient in the acqui...
92
Voted
ICFP
2007
ACM
15 years 11 months ago
2007
ACM
We present a model checker for verifying distributed programs written in the Erlang programming language. Providing a model checker for Erlang is especially rewarding since the la...
SERVICES
2008
15 years 1 months ago
2008
As the amount of biological data continues to increase, how biologists share data and analysis tools efficiently is becoming an important issue. Web service technology is a promis...
106
click to vote
IEE
2008
14 years 12 months ago
2008
With Java 5 annotations, we note a marked increase in tools that can statically detect potential null dereferences. To be effective such tools require that developers annotate decl...