11214 search results - page 372 / 2243 » Programming Multi-agent Systems |
190
click to vote
SAS
2001
Springer
15 years 11 months ago
2001
Springer
We present the implementation of cTI, a system for universal left-termination inference of logic programs, which heavily relies on static analysis techniques. Termination inference...
128
click to vote
POPL
1997
ACM
15 years 11 months ago
1997
ACM
Module mechanisms have received considerable theoretical attention, but the associated concepts of separate compilation and linking have not been emphasized. Anomalous module syst...
184
click to vote
OOPSLA
1990
Springer
15 years 10 months ago
1990
Springer
The paper presents a discussion and a specification of an exception handling system dedicated to object-oriented programming. We show how a full object-oriented representation of ...
180
click to vote
FLAIRS
2007
15 years 9 months ago
2007
The LEGO Mindstorms robots provide an excellent introductory platform for students to learn computer programming. However, a major drawback is students’ lack of access to robots...
181
click to vote
GECCO
2010
Springer
15 years 8 months ago
2010
Springer
Developing dispatching rules for manufacturing systems is a tedious process, which is time- and cost-consuming. Since there is no good general rule for different scenarios and ob...