7961 search results - page 188 / 1593 » Input-Output Model Programs |
139
Voted
JMLC
1997
Springer
15 years 7 months ago
1997
Springer
Abstract. We describe a system designed to provide database programming support for Oberon programmers. The system is based on a generic object-oriented data model which supports r...
128
Voted
AAAI
2010
15 years 4 months ago
2010
In this paper, we propose a translation from normal first-order logic programs under the answer set semantics to first-order theories on finite structures. Specifically, we introd...
116
Voted
IPPS
2007
IEEE
15 years 9 months ago
2007
IEEE
There are two popular parallel programming paradigms available to high performance computing users such as engineering and physics professionals: message passing and distributed s...
120
click to vote
AICT
2006
IEEE
15 years 9 months ago
2006
IEEE
A software application has strong relationships with the business processes it supports. In the analysis phase those parts of the processes in which the software system is applied...
135
Voted
CP
2005
Springer
15 years 9 months ago
2005
Springer
In this paper we show how Constraint Programming (CP) techniques can improve the efficiency and applicability of grid-based algorithms for optimising surface contact between comple...