7576 search results - page 154 / 1516 » UNIX as an Application Program |
122
click to vote
ATAL
2007
Springer
15 years 10 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...
147
click to vote
FASE
2005
Springer
15 years 10 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...
132
click to vote
PRICAI
2004
Springer
15 years 9 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...
137
click to vote
IPCO
2007
15 years 5 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...
173
click to vote
LANMR
2004
15 years 5 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...