3429 search results - page 464 / 686 » Modelling the Operational Semantics of Domain-Specific Model... |
142
click to vote
CPHYSICS
2006
15 years 4 months ago
2006
A computer program is described to calculate momentum distributions in stripping and diffraction dissociation reactions. A Glauber model is used with the scattering wavefunctions ...
171
click to vote
CORR
2011
Springer
14 years 8 months ago
2011
Springer
The Model Checking Integrated Planning System (MIPS) has shown distinguished performance in the second and third international planning competitions. With its object-oriented fram...
138
click to vote
CP
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. One of the most appealing features of constraint programming is its rich constraint language for expressing combinatorial optimization problems. This paper demonstrates t...
137
click to vote
HIS
2003
15 years 5 months ago
2003
We logically model uncertainty by expanding language without changing logical reasoning rules. We expand the language of set theory by adding new predicate symbols, uncertain membe...
141
click to vote
ECAI
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. This paper is centered on the problem of merging (possibly conflicting) information coming from different sources. Though this problem has attracted much attention in pro...