2748 search results - page 183 / 550 » Generating Object-Z Specifications from Use Cases |
78
Voted
AI
2006
Springer
15 years 4 months ago
2006
Springer
Gliomas are diffuse, invasive brain tumors. We propose a 3D classification-based diffusion model, cdm, that predicts how a glioma will grow at a voxel-level, on the basis of featur...
201
Voted
POPL
2006
ACM
16 years 1 months ago
2006
ACM
We present staged allocation, a technique for specifying calling conventions by composing tiny allocators called stages. A specification written using staged allocation has a prec...
WIDM
1999
ACM
15 years 5 months ago
1999
ACM
In order to provide database-like features for files, particularly for searching in Web data, one solution is to migrate file data into a relational database. Having stored the da...
129
click to vote
AISC
1998
Springer
15 years 5 months ago
1998
Springer
The use of computer algebra is usually considered beneficial for mechanised reasoning in mathematical domains. We present a case study, in the application domain of coding theory, ...
121
click to vote
SIGIR
2008
ACM
15 years 18 days ago
2008
ACM
This work presents the use of click graphs in improving query intent classifiers, which are critical if vertical search and general-purpose search services are to be offered in a ...