7529 search results - page 208 / 1506 » The Modula-3 Type System |
193
click to vote
JAR
2010
15 years 5 months ago
2010
Meta-logics and type systems based on intuitionistic logic are commonly used for specifying natural deduction proof systems. We shall show here that linear logic can be used as a m...
149
click to vote
PAAMS
2010
Springer
15 years 4 months ago
2010
Springer
In this study, a new organization based system for forest fires prediction is presented. It is an Organization Based System for Forest Fires Forecasting (OBSFFF). The core of the s...
188
click to vote
NOMS
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract— Today’s networked systems are extensively instrumented for collecting a wealth of monitoring data. In this paper, we propose a framework called System-wide Similarity...
154
click to vote
INTERSPEECH
2010
15 years 1 months ago
2010
This paper describes a system for assistive writing, the Speech Supplemented Word Prediction Program (SSWPP). This system uses the first letter of a word typed by the user as well...
159
click to vote
INFSOF
2002
15 years 6 months ago
2002
The software architecture of a system has influences against various software characteristics of the system such as efficiency, reliability, maintainability, and etc.. For support...