7430 search results - page 164 / 1486 » Programming Applications in CIFF |
112
click to vote
ATAL
2007
Springer
15 years 9 months ago
2007
Springer
This paper proposes programming constructs to improve the practical application of existing BDI-based agent-oriented programming languages that have formal semantics. The proposed...
131
click to vote
FASE
2005
Springer
15 years 8 months ago
2005
Springer
This tool paper describes a modular program slicer for Java built using the Indus program analysis framework along with it’s Eclipse-based user interface called Kaveri. Indus pro...
116
click to vote
PRICAI
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. A successful case of applying brute-force search to functional programming automation is presented and compared with a conventional genetic programming method. From the i...
117
click to vote
IPCO
2007
15 years 4 months ago
2007
A conic integer program is an integer programming problem with conic constraints. Conic integer programming has important applications in finance, engineering, statistical learnin...
162
click to vote
LANMR
2004
15 years 4 months ago
2004
Hybrid probabilistic programs framework [5] is a variation of probabilistic annotated logic programming approach, which allows the user to explicitly encode the available knowledge...