11214 search results - page 386 / 2243 » Programming Multi-agent Systems |
191
click to vote
ESOP
1994
Springer
15 years 11 months ago
1994
Springer
Scientists and engineers must ensure that physical equations are dimensionally consistent, but existing programming languages treat all numeric values as dimensionless. This paper ...
193
click to vote
ECOOP
1999
Springer
15 years 11 months ago
1999
Springer
Object-oriented programming techniques have been used with great success for some time. But the techniques of object-oriented programming have been largely confined to the single a...
165
click to vote
SAS
2009
Springer
16 years 7 months ago
2009
Springer
We show how, given a program and its separation logic proof, one can parallelize and optimize this program and transform its proof simultaneously to obtain a proven parallelized an...
175
click to vote
ICLP
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. The system presented in this paper aims at using Contextual Logic Programming as a computational hub for knowledge modeled by web ontologies and enable querying that repr...
170
click to vote
AIIA
2003
Springer
16 years 1 days ago
2003
Springer
This paper presents the user modeling and recommendation techniques applied in Personal Program Guide (PPG), a system generating personalized Electronic Program Guides for digital ...