6740 search results - page 338 / 1348 » Using Classification as a Programming Language |
129
click to vote
JVA
2006
IEEE
15 years 9 months ago
2006
IEEE
In this paper, we will introduce to describe learning resources by using ontology model based on metadata of learning standard as Sharable Content Object Reference Model (SCORM) a...
247
click to vote
POPL
2004
ACM
16 years 3 months ago
2004
ACM
We show how some classical static analyses for imperative programs, and the optimizing transformations which they enable, may be expressed and proved correct using elementary logi...
191
click to vote
CINQ
2004
Springer
15 years 8 months ago
2004
Springer
Spatial data mining is a process used to discover interesting but not explicitly available, highly usable patterns embedded in both spatial and nonspatial data, which are possibly ...
SIGADA
1998
Springer
15 years 7 months ago
1998
Springer
The requirements of High Integrity safety-critical, secure and mission-critical Software force developers to use specialised development techniques. Often the choice of computer l...
140
click to vote
SFP
2003
15 years 4 months ago
2003
: Static single information form is a natural extension of the well-known static single assignment form. It is a program intermediate representation used in optimising compilers fo...