2859 search results - page 127 / 572 » A Programming Environment for Bousi-Prolog |
134
Voted
CANDC
2000
ACM
15 years 4 months ago
2000
ACM
We have developed a microcomputer program, based on a recently described approach called step by step filter (SBSF), for calculation of derivative curves directly from spectra rec...
150
click to vote
ICIP
2001
IEEE
16 years 6 months ago
2001
IEEE
We have designed a series of computer sessions build around ImageJ (a public-domain software for image analysis), as a practical complement to a two-semester course in image proce...
241
click to vote
ICLP
2009
Springer
16 years 5 months ago
2009
Springer
Multiagent planning deals with the problem of generating plans for multiple agents. It requires formalizing ways for the agents to interact and cooperate, in order to achieve their...
132
click to vote
CEC
2009
IEEE
15 years 11 months ago
2009
IEEE
— In this paper, a revised form of Implicit Context Representation Cartesian Genetic Programming is used in the development of a diagnostic tool for the assessment of patients wi...
153
click to vote
TPHOL
2008
IEEE
15 years 11 months ago
2008
IEEE
We introduce a lightweight approach for reasoning about programs involving imperative data structures using the proof assistant Isabelle/HOL. It is based on shallow embedding of pr...