Sciweavers

3145 search results - page 345 / 629
» A Computational Psycholinguistic Model of Natural Language P...
Sort
View
HPDC
1999
IEEE
15 years 8 months ago
Toward a Common Component Architecture for High-Performance Scientific Computing
This paper describes work in progress to develop a standard for interoperability among high-performance scientific components. This research stems from growing recognition that th...
Robert C. Armstrong, Dennis Gannon, Al Geist, Kata...
UM
2001
Springer
15 years 9 months ago
Applying Interactive Open Learner Models to Learning Technical Terminology
Our work explores an interactive open learner modelling (IOLM) approach where learner diagnosis is considered as an interactive process involving both a computer system and a learn...
Vania Dimitrova, John A. Self, Paul Brna
JSW
2007
119views more  JSW 2007»
15 years 4 months ago
Formalizing Mobility in Service Oriented Computing
— The usual scenario of service oriented systems is characterized by several services offering the same functionalities, by new services that are continuosly deployed and by othe...
Claudio Guidi, Roberto Lucchi
DAC
2004
ACM
16 years 5 months ago
System design for DSP applications in transaction level modeling paradigm
In this paper, we systematically define three transaction level TLMs), which reside at different levels of abstraction between the functional and the implementation model of a DSP...
Abhijit K. Deb, Axel Jantsch, Johnny Öberg
WOLLIC
2010
Springer
15 years 9 months ago
Modal Logics with Counting
Abstract. We present a modal language that includes explicit operators to count the number of elements that a model might include in the extension of a formula, and we discuss how ...
Carlos Areces, Guillaume Hoffmann, Alexandre Denis