7529 search results - page 348 / 1506 » The Modula-3 Type System |
154
click to vote
ENTCS
2008
15 years 6 months ago
2008
CLF (the Concurrent Logical Framework) is a language for specifying and reasoning about concurrent systems. Its most significant feature is the first-class representation of concu...
178
click to vote
CN
1998
15 years 6 months ago
1998
With the increasing popularity of the World Wide Web, the number of information sources providing access to various types of data has increased considerably. While simple data ret...
186
click to vote
UMUAI
1998
15 years 6 months ago
1998
In this paper, we argue for the need to distinguish between task initiative and dialogue initiative, and present an evidential model for tracking shifts in both types of initiativ...
183
click to vote
AIEDU
2008
15 years 5 months ago
2008
To investigate whether more concise Natural Language feedback improves learning, we developed two Natural Language generators (DIAG-NLP1 and DIAG-NLP2), to provide feedback in an I...
187
click to vote
VTC
2010
IEEE
15 years 5 months ago
2010
IEEE
—In cellular systems, a handoff process is defined to transfer an active call of an MS from one cell to another in order to provide a seamless service to this MS. Generally, a h...