Sciweavers

967 search results - page 130 / 194
» Languages and Tools for Hybrid Systems Design
Sort
View
NAACL
2003
13 years 10 months ago
TAP-XL: An Automated Analyst's Assistant
The TAP-XL Automated Analyst’s Assistant is an application designed to help an Englishspeaking analyst write a topical report, culling information from a large inflow of multili...
Sean Colbath, Francis Kubala
COLING
2010
13 years 3 months ago
Cloud Computing for Linguists
The system presented is a web application designed to aid linguistic research with data collection and online publishing. It is a service mainly for linguists and language experts...
Dorothee Beermann, Pavel Mihaylov
MPC
2010
Springer
165views Mathematics» more  MPC 2010»
14 years 1 months ago
Dependently Typed Grammars
Parser combinators are a popular tool for designing parsers in functional programming languages. If such combinators generate an abstract representation of the grammar as an interm...
Kasper Brink, Stefan Holdermans, Andres Löh
SIGSOFT
2008
ACM
14 years 9 months ago
Alchemy: transmuting base alloy specifications into implementations
Alloy specifications are used to define lightweight models of systems. We present Alchemy, which compiles Alloy specifications into implementations that execute against persistent...
Shriram Krishnamurthi, Kathi Fisler, Daniel J. Dou...
HICSS
2005
IEEE
127views Biometrics» more  HICSS 2005»
14 years 2 months ago
Enterprise Architecture Analysis with XML
This paper shows how XML can be used for static and dynamic analysis of architectures. Our analysis is based on the distinction between symbolic and semantic models of architectur...
Frank S. de Boer, Marcello M. Bonsangue, Joost Jac...