433 search results - page 38 / 87 » A history of the history of programming languages |
150
click to vote
VSTTE
2005
Springer
15 years 11 months ago
2005
Springer
: Verifying design instead of code can be an effective and practical approach to obtaining verified software. This paper argues that proof scores are an attractive method for ver...
176
click to vote
ADBIS
2004
Springer
15 years 11 months ago
2004
Springer
: The purpose of the current work is to explore and improve the analysis of event data stored in event repositories, enabling the application of specialized event algebra operators...
152
click to vote
NAACL
2007
15 years 7 months ago
2007
We present tutorial dialogue systems in two different domains that demonstrate the use of dialogue management and deep natural language processing techniques. Generation technique...
161
click to vote
DIGITEL
2007
IEEE
16 years 14 days ago
2007
IEEE
Distributed Computational Toys are physical artifacts that function based on the coordination of more than one computing device. Often, these toys take the form of a microcontroll...
163
click to vote
EUROPAR
2005
Springer
15 years 11 months ago
2005
Springer
— Previous works have shown that neural branch prediction techniques achieve far lower misprediction rate than traditional approaches. We propose a neural predictor based on two ...