2859 search results - page 56 / 572 » A Programming Environment for Bousi-Prolog |
148
click to vote
CSFW
2012
IEEE
13 years 6 months ago
2012
IEEE
Abstract—This paper studies the foundations of informationflow security for interactive programs. Previous research assumes that the environment is total, that is, it must alway...
153
click to vote
GRID
2004
Springer
15 years 9 months ago
2004
Springer
This paper reports on the design, implementation and performance evaluation of a suite of GridRPC programming middleware called Ninf-G Version 2 (Ninf-G2). NinfG2 is a reference i...
155
click to vote
HUC
2004
Springer
15 years 9 months ago
2004
Springer
As the trend towards technology-enriched home environments progresses, the need to enable users to create applications to suit their own lives increases. While several recent proje...
145
click to vote
IJCAI
2007
15 years 5 months ago
2007
A key problem in reinforcement learning is finding a good balance between the need to explore the environment and the need to gain rewards by exploiting existing knowledge. Much ...
146
click to vote
PPDP
2004
Springer
15 years 9 months ago
2004
Springer
SML.NET is a compiler for Standard ML that targets the Common Language Runtime and is integrated into the Visual Studio development environment. It supports easy interoperability ...