Sciweavers

3516 search results - page 124 / 704
» Programming Languages: Application and Interpretation
Sort
View
ML
2007
ACM
134views Machine Learning» more  ML 2007»
15 years 4 months ago
Status report: the manticore project
The Manticore project is an effort to design and implement a new functional language for parallel programming. Unlike many earlier parallel languages, Manticore is a heterogeneous...
Matthew Fluet, Nic Ford, Mike Rainey, John H. Repp...
ECMDAFA
2007
Springer
156views Hardware» more  ECMDAFA 2007»
15 years 8 months ago
Human Comprehensible and Machine Processable Specifications of Operational Semantics
Abstract. This paper presents a method to describe the operational semantics of languages based on their meta-model. We combine the established high-level modelling languages MOF, ...
Markus Scheidgen, Joachim Fischer
AI
2004
Springer
15 years 4 months ago
Order-sorted logic programming with predicate hierarchy
Order-sorted logic has been formalized as first-order logic with sorted terms where sorts are ordered to build a hierarchy (called a sort-hierarchy). These sorted logics lead to u...
Ken Kaneiwa
137
Voted
NAACL
1994
15 years 6 months ago
PEGASUS: A Spoken Language Interface for On-Line Air Travel Planning I
This paper describes PEGASUS, a spoken language interface for on-line air travel planning that we have recently developed. PEGASUSleverages off our spoken language technology deve...
Victor Zue, Stephanie Seneff, Joseph Polifroni, Mi...
JVA
2006
IEEE
15 years 11 months ago
Programming Models for Grid Applications and Systems: Requirements and Approaches
History repeats itself. Since the invention of the programmable computer, numerous computer scientists keep dedicating their professional lives to the design of “the single, bes...
Thilo Kielmann