Sciweavers

568 search results - page 33 / 114
» The Great Language Debate
Sort
View
WSPI
2004
15 years 1 months ago
A Formal Theory of Conceptual Modeling Universals
Conceptual Modeling is a discipline of great relevance to several areas in Computer Science. In a series of papers [1,2,3] we have been using the General Ontological Language (GOL)...
Giancarlo Guizzardi, Gerd Wagner, Marten van Sinde...
ENTCS
2007
130views more  ENTCS 2007»
14 years 11 months ago
Specify, Compile, Run: Hardware from PSL
We propose to use a formal specification language as a high-level hardware description language. Formal languages allow for compact, unambiguous representations and yield designs...
Roderick Bloem, Stefan Galler, Barbara Jobstmann, ...
COLING
2000
15 years 1 months ago
Deixis and Conjunction in Multimodal Systems
In order to realize their full potential, multimodal interfaces need to support not just input from multiple modes, but single commands optimally distributed across the available ...
Michael Johnston
GPCE
2008
Springer
15 years 26 days ago
Generating incremental implementations of object-set queries
High-level query constructs help greatly improve the clarity of programs and the productivity of programmers, and are being introduced to increasingly more languages. However, the...
Tom Rothamel, Yanhong A. Liu
POPL
2012
ACM
13 years 7 months ago
A type theory for probability density functions
There has been great interest in creating probabilistic programming languages to simplify the coding of statistical tasks; however, there still does not exist a formal language th...
Sooraj Bhat, Ashish Agarwal, Richard W. Vuduc, Ale...