3066 search results - page 377 / 614 » On Facilitating Automated Evaluation |
ENTCS
2002
13 years 8 months ago
2002
We present a Language Prototyping System that facilitates the modular development of interpreters from independent semantic buildks. The abstract syntax is modelled as the fixpoint...
JAR
2000
13 years 8 months ago
2000
The paper compares two popular strategies for solving propositional satis ability, backtracking search and resolution, and analyzes the complexity of a directional resolution algo...
JECR
2000
13 years 8 months ago
2000
Traditional supply chain management utilized traditional media and channels to link firms in linear, inefficient relationships. The advent of electronic commerce over the Internet...
ASE
1998
13 years 8 months ago
1998
The process of understanding a source code in a high-level programming language involves complex computation. Given a piece of legacy code and a library of program plan templates, ...
IWC
2002
13 years 8 months ago
2002
We investigate the application of multi-agent systems to develop intelligent information interfaces for connected communities, a class of computer applications aimed at enhancing ...