Sciweavers

3429 search results - page 129 / 686
» Modelling the Operational Semantics of Domain-Specific Model...
Sort
View
POPL
1997
ACM
14 years 22 days ago
A Unified Computation Model for Functional and Logic Programming
We propose a new computation model which combines the operational principles of functional languages (reduction), logic languages (non-deterministic search for solutions), and int...
Michael Hanus
ENTCS
2006
117views more  ENTCS 2006»
13 years 9 months ago
Interpreting SWRL Rules in RDF Graphs
An unresolved issue in SWRL (the Semantic Web Rule Language) is whether the intended semantics of its RDF representation can be described as an extension of the W3C RDF semantics....
Jing Mei, Harold Boley
PPL
2008
96views more  PPL 2008»
13 years 9 months ago
A Hybrid Shared Memory Execution Model for a Data Parallel Language with I/O
Execution of programs with data parallel language constructs is either based on the fork/join or on the SPMD model. Whereas the former executes a program sequentially and confines...
Clemens Grelck, Steffen Kuthe, Sven-Bodo Scholz
EPIA
2009
Springer
14 years 3 months ago
A Logic Programming System for Evolving Programs with Temporal Operators
Logic Programming Update Languages were proposed as an extension of logic programming that allows modeling the dynamics of knowledge bases where both extensional (facts) and intent...
José Júlio Alferes, Alfredo Gabaldon...
NAACL
1994
13 years 10 months ago
Speech Recognition Using a Stochastic Language Model Integrating Local and Global Constraints
In this paper, we propose a new stochastic language model that integrates local and global constraints effectively and describe a speechrecognition system basedon it. Theproposedl...
Ryosuke Isotani, Shoichi Matsunaga