3335 search results - page 356 / 667 » A Unified Approach to Modeling and Programming |
173
Voted
PADL
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. One important advantage of logic programming is that it allows the implicit exploitation of parallelism. Towards this goal, we suggest that or-parallelism can be efficien...
212
click to vote
FSTTCS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Stochastic optimization is a leading approach to model optimization problems in which there is uncertainty in the input data, whether from measurement noise or an inabili...
156
click to vote
AAAI
2006
15 years 8 months ago
2006
Markov decision processes (MDPs) with discrete and continuous state and action components can be solved efficiently by hybrid approximate linear programming (HALP). The main idea ...
194
click to vote
POPL
2012
ACM
14 years 2 months ago
2012
ACM
Formal models serve in many roles in the programming language community. In its primary role, a model communicates the idea of a language design; the architecture of a language to...
203
click to vote
SEMWEB
2009
Springer
16 years 1 months ago
2009
Springer
The Ontology Definition Metamodel (ODM) defines a set of UML metamodels and profiles for development of RDF and OWL. The UML profiles in the ODM specification adapt UML notations t...