6201 search results - page 1109 / 1241 » Implementation of Axiomatic Language |
178
Voted
KBSE
2010
IEEE
15 years 3 months ago
2010
IEEE
Named constants are used heavily in operating systems code, both as internal flags and in interactions with devices. Decision making within an operating system thus critically de...
165
click to vote
MICCAI
2010
Springer
15 years 3 months ago
2010
Springer
The paper proposes a new shape morphometry approach to combine advanced classification techniques with geometric features in order to identify morphological abnormalities on brain...
153
click to vote
PC
2010
15 years 3 months ago
2010
Graph component labelling, which is a subset of the general graph colouring problem, is a computationally expensive operation that is of importance in many applications and simula...
128
click to vote
TLT
2010
15 years 3 months ago
2010
—It seems self-evident that life for teachers would be simplified if there existed a large corpus of relevant resources that was available for them to reuse and for inquisitive s...
133
Voted
TSE
2010
15 years 3 months ago
2010
—Recently, there has been a proliferation of service-based systems, i.e. software systems that are composed of autonomous services, but can also use software code. In order to su...