1458 search results - page 154 / 292 » System Model-Based Definition of Modeling Language Semantics |
FQAS
2004
Springer
15 years 3 months ago
2004
Springer
In: Proceedings of the Sixth International Conference On Flexible Query Answering Systems (FQAS-04), Springer-Verlag LNAI 3055, pp. 203-216. c 2004 by Springer-Verlag. To model qu...
113
click to vote
NAACL
2003
14 years 11 months ago
2003
Leximancer is a software system for performing conceptual analysis of text data in a largely language independent manner. The system is modelled on Content Analysis and provides u...
ENTCS
2000
14 years 9 months ago
2000
The region calculus of Tofte and Talpin is an annotated polymorphically typed lambda calculus which makes memory allocation and deallocation explicit. It is intended as an interme...
PROCEDIA
2010
14 years 4 months ago
2010
High performance computing with low cost machines becomes a reality with GPU. Unfortunately, high performances are achieved when the programmer exploits the architectural specific...
MEMOCODE
2003
IEEE
15 years 3 months ago
2003
IEEE
System-level design methodologies for embedded HW/SW systems face several challenges: In order to be susceptible to systematic formal analysis based on state-space exploration, a ...