10899 search results - page 707 / 2180 » The GP Programming System |
178
click to vote
PADL
2010
Springer
16 years 4 months ago
2010
Springer
Abstract. A Prolog implementation of an In-lined Reference Monitoring system prototype for Adobe ActionScript Bytecode programs is presented. Prolog provides an elegant framework f...
189
click to vote
LPNMR
2005
Springer
16 years 29 days ago
2005
Springer
Abstract. We describe a new software, pbmodels, that uses pseudo-boolean constraint solvers (PB solvers) to compute stable models of logic programs with weight atoms. To this end, ...
243
click to vote
FMCO
2004
Springer
16 years 25 days ago
2004
Springer
Abstract. A temporal logic is proposed as a tool for specifying properties of Klaim programs. Klaim is an experimental programming language that supports a programming paradigm whe...
196
click to vote
ISIPTA
2003
IEEE
16 years 22 days ago
2003
IEEE
A second-order hierarchical uncertainty model of a system of independent random variables is studied in the paper. It is shown that the complex nonlinear optimization problem for ...
191
Voted
VL
2003
IEEE
16 years 22 days ago
2003
IEEE
The educationally disadvantaged people in contextaware computing are those without any programming experience, and are unable to build context-aware applications with the current ...