Sciweavers

3825 search results - page 129 / 765
» The Language of Time: A Reader
Sort
View
AMAST
2004
Springer
15 years 3 months ago
Separate Compositional Analysis of Class-Based Object-Oriented Languages
Abstract. We present a separate compositional analysis for objectoriented languages. We show how a generic static analysis of a context that uses an object can be split into two se...
Francesco Logozzo
ICDAR
2003
IEEE
15 years 3 months ago
Web Page Summarization for Handheld Devices: A Natural Language Approach
Summarization of web pages is a very interesting topic from both academic and commercial point of view. Academically, it is challenging to create a summary of a document (e.g. a w...
Hassan Alam, Rachmat Hartono, Aman Kumar, Ahmad Fu...
ISCAS
2003
IEEE
78views Hardware» more  ISCAS 2003»
15 years 3 months ago
SLAP: a system for the detection and correction of pronunciation for second language acquisition
We describe a system for the training of Second Language Acquisition Pronunciation (SLAP) for nonnative speakers. This speech recognition-based system is designed to mimic the val...
Lingyun Gu, John G. Harris
DEXAW
1999
IEEE
142views Database» more  DEXAW 1999»
15 years 2 months ago
Developments in Spatio-Temporal Query Languages
ing spatio-temporal data as abstract data types into already existing data models is a promising approach to creating spatio-temporal query languages. In this context, an importan...
Martin Erwig, Markus Schneider
ICSE
1994
IEEE-ACM
15 years 2 months ago
On Formal Requirements Modeling Languages: RML Revisited
act Research issues related to requirements modeling are introduced and discussed through a review of the requirements modeling language RML, its peers and its successors from the ...
Sol J. Greenspan, John Mylopoulos, Alexander Borgi...