433 search results - page 42 / 87 » A history of the history of programming languages |
156
click to vote
ICASSP
2011
IEEE
14 years 9 months ago
2011
IEEE
In this work we concentrate on generating compound words with high order n-gram information for speech recognition. In most existing compound words generation methods, only bi-gra...
167
click to vote
AICCSA
2008
IEEE
16 years 18 days ago
2008
IEEE
In this paper, we present a novel type and effect analysis for detecting type cast errors and memory errors in C source code. Our approach involves a type system with effect, regi...
179
click to vote
AGI
2011
14 years 9 months ago
2011
The ability to identify novel patterns in observations is an essential aspect of intelligence. In a computational framework, the notion of a pattern can be formalized as a program ...
157
click to vote
CCS
2009
ACM
16 years 6 months ago
2009
ACM
Inlined Reference Monitor (IRM) is an established enforcement mechanism for history-based access control policies. IRM enforcement injects monitoring code into the binary of an un...
148
click to vote
ICALP
1989
Springer
15 years 10 months ago
1989
Springer
Category theory has been successfully employed to structure the confusing setup of models and equivalences for concurrency: Winskel and Nielsen have related the standard models nc...