3738 search results - page 472 / 748 » Parametrized Logic Programming |
139
Voted
CPAIOR
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. In recent work binary decision diagrams (BDDs) were introduced as a technique for postoptimality analysis for integer programming. In this paper we show that much smaller...
97
Voted
IPPS
2006
IEEE
15 years 6 months ago
2006
IEEE
This paper presents a technique for memory optimization for a class of computations that arises in the field of correlated electronic structure methods such as coupled cluster and...
101
Voted
SEUS
2005
IEEE
15 years 6 months ago
2005
IEEE
In this paper, we defined the concept of the grouped distributed objects[10-14], as a logical unit of distributed application service, and developed a distributed programming deve...
101
Voted
ARTMED
2010
15 years 28 days ago
2010
Objective: The programming language Arden Syntax has been optimised for use in clinical decision support systems. We describe an extension of this language named Fuzzy Arden Synta...
129
click to vote
CACM
1999
15 years 14 days ago
1999
stractions underlying distributed computing. We attempted to keep our preaims at an abstract and general level. In this column, we make those claims more concrete. More precisely, ...