Sciweavers

1221 search results - page 54 / 245
» Mixed-Initiative Development of Language Processing Systems
Sort
View
HOA
1993
14 years 23 days ago
The Semantics of SPECTRUM
Abstract. The Spectrum project concentrates on the process of developing well-structured, precise system speci cations. Spectrum is a speci cation language, with a deduction calcul...
Radu Grosu, Franz Regensburger
UMUAI
2010
105views more  UMUAI 2010»
13 years 7 months ago
Towards personality-based user adaptation: psychologically informed stylistic language generation
Conversation is an essential component of social behavior, one of the primary means by which humans express intentions, beliefs, emotions, attitudes and personality. Thus the deve...
François Mairesse, Marilyn A. Walker
VLSID
2002
IEEE
174views VLSI» more  VLSID 2002»
14 years 9 months ago
Architecture Implementation Using the Machine Description Language LISA
The development of application specific instruction set processors comprises several design phases: architecture exploration, software tools design, system verification and design...
Oliver Schliebusch, Andreas Hoffmann, Achim Nohl, ...
OOPSLA
2004
Springer
14 years 2 months ago
Modeling event driven applications with a specification language (MEDASL)
Radio Frequency Identification (RFID) technology provides the means to track any object, any time, anywhere with Electronic Product Codes (EPC). A major consequence of this techno...
Murali Kaundinya, Ali Syed
FM
2009
Springer
171views Formal Methods» more  FM 2009»
14 years 3 months ago
Formal Management of CAD/CAM Processes
Abstract. Systematic engineering design processes have many aspects in common with software engineering, with CAD/CAM objects replacing program code as the implementation stage of ...
Michael Kohlhase, Johannes Lemburg, Lutz Schrö...