8008 search results - page 637 / 1602 » Computer-Aided Language Processing |
174
click to vote
FDL
2007
IEEE
15 years 11 months ago
2007
IEEE
With the increasing complexity of today's embedded systems, there is a need to formally verify such designs at mixed abstraction levels. This is needed if some compoe describ...
211
click to vote
FOAL
2007
ACM
15 years 11 months ago
2007
ACM
We consider the problem of adding aspects to a strongly typed language which supports type classes. We show that type classes as supported by the Glasgow Haskell Compiler can mode...
192
click to vote
CICLING
2006
Springer
15 years 11 months ago
2006
Springer
Documents in a wide range of genres often contain references to their own sections, pictures etc. We call such referring expressions instances of Document Deixis. The present work ...
217
click to vote
FDL
2006
IEEE
15 years 11 months ago
2006
IEEE
In this work, an approach to the `verification-oriented' modeling of the analog parts' behavior of mixed-signal circuits is presented. Starting from a continuous-time, c...
200
click to vote
FINTAL
2006
15 years 11 months ago
2006
Question Answering (QA) aims at providing users with short text units that answer specific, well-formed natural language questions. A two stage architecture is widely adopted for t...