Sciweavers

590 search results - page 40 / 118
» On the Systematic Analysis of Natural Language Requirements ...
Sort
View
POPL
2005
ACM
14 years 8 months ago
Associated types with class
Haskell's type classes allow ad-hoc overloading, or typeindexing, of functions. A natural generalisation is to allow type-indexing of data types as well. It turns out that th...
Manuel M. T. Chakravarty, Gabriele Keller, Simon L...
CODES
2004
IEEE
13 years 11 months ago
Power analysis of system-level on-chip communication architectures
For complex System-on-chips (SoCs) fabricated in nanometer technologies, the system-level on-chip communication architecture is emerging as a significant source of power consumpti...
Kanishka Lahiri, Anand Raghunathan
LREC
2010
173views Education» more  LREC 2010»
13 years 9 months ago
LIMA : A Multilingual Framework for Linguistic Analysis and Linguistic Resources Development and Evaluation
The increasing amount of available textual information makes necessary the use of Natural Language Processing (NLP) tools. These tools have to be used on large collections of docu...
Romaric Besançon, Gaël de Chalendar, O...
ICSE
1994
IEEE-ACM
13 years 11 months ago
Lessons from Using Basic LOTOS
We describe three case studies in the use of Basic LOTOS. The studies cover design recovery, requirements speci cation, and design activities. We also report lessons learned from ...
Mark A. Ardis
ECCV
2004
Springer
14 years 9 months ago
A Linguistic Feature Vector for the Visual Interpretation of Sign Language
Abstract. This paper presents a novel approach to sign language recognition that provides extremely high classification rates on minimal training data. Key to this approach is a 2 ...
Richard Bowden, David Windridge, Timor Kadir, Andr...