2748 search results - page 183 / 550 » Generating Object-Z Specifications from Use Cases |
97
Voted
AI
2006
Springer
15 years 7 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...
238
Voted
POPL
2006
ACM
16 years 3 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...
106
Voted
WIDM
1999
ACM
15 years 7 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...
151
Voted
AISC
1998
Springer
15 years 7 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, ...
148
Voted
SIGIR
2008
ACM
15 years 3 months 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 ...