16883 search results - page 2873 / 3377 » Generalized Non-Reducible Descriptors |
181
click to vote
HASKELL
2006
ACM
16 years 1 months ago
2006
ACM
We propose a development methodology for designing and prototyping high assurance microkernels, and describe our application of it. The methodology is based on rapid prototyping a...
201
Voted
HASKELL
2006
ACM
16 years 1 months ago
2006
ACM
Modern functional languages offer several attractive features to support development of reliable and secure software. However, in our efforts to use Haskell for systems programmin...
271
Voted
HIKM
2006
ACM
16 years 1 months ago
2006
ACM
Term extraction relates to extracting the most characteristic or important terms (words or phrases) in a document. This information is commonly used for improving the accuracy of ...
189
click to vote
HIKM
2006
ACM
16 years 1 months ago
2006
ACM
The increasing complexity of clinical trials has generated an enormous requirement for knowledge and information specification at all stages of the trials, including planning, doc...
206
Voted
HRI
2006
ACM
16 years 1 months ago
2006
ACM
Programming robots to carry out useful tasks is both a complex and non-trivial exercise. A simple and intuitive method to allow humans to train and shape robot behaviour is clearl...