3335 search results - page 101 / 667 » A Unified Approach to Modeling and Programming |
155
click to vote
LPNMR
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. We present a purely model-theoretic semantics for disjunctive logic programs with negation, building on the infinite-valued approach recently introduced for normal logic...
149
click to vote
ANOR
2010
15 years 6 months ago
2010
We study some mathematical programming formulations for the origin-destination model in airline revenue management. In particular, we focus on the traditional probabilistic model ...
130
click to vote
ASPDAC
2000
ACM
15 years 10 months ago
2000
ACM
A new approach is proposed to translate existing software programs from one instruction set to other instruction sets at the level. The behaviors of instructions are abstractly re...
160
click to vote
DCOSS
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. The success of high-level programming models in Wireless Sensor Networks (WSNs) is heavily dependent on factors such as ease of programming, code well-structuring, degree...
158
click to vote
SAMOS
2010
Springer
15 years 4 months ago
2010
Springer
—Process Networks (PNs) is an appealing computation ion helping to specify an application in parallel form and realize it on parallel platforms. The key questions to be answered ...