Sciweavers

10899 search results - page 678 / 2180
» The GP Programming System
Sort
View
FLAIRS
2007
15 years 9 months ago
TICK: A Content Management System Framework for Semantic Web Research and Instruction
The goal of the TICK data management system is to make online publication of the fruits of research as easy as the publication of opinions on weblogs. In order to avoid the reinve...
Robert W. McGrail, S. Rebecca Thomas
CLIMA
2010
15 years 8 months ago
Finding Uniform Strategies for Multi-agent Systems
We present an algorithm for finding uniform strategies in multi-agent systems with incomplete information. The algorithm finds all maximal uniform strategies for agents with incomp...
Jan Calta, Dmitry Shkatov, Bernd-Holger Schlinglof...
CASCON
1996
126views Education» more  CASCON 1996»
15 years 8 months ago
A survey of testing techniques for object-oriented systems
Most research on objectoriented(OO) paradigms has been focused on analysis, design, and programming fundamentals. Testing the systems that are created with these paradigms has bee...
Morris S. Johnson Jr.
MSCS
2000
126views more  MSCS 2000»
15 years 7 months ago
Sequent combinators: a Hilbert system for the lambda calculus
This paper introduces a Hilbert system for lambda calculus called sequent combinators. Sequent combinators address many of the problems of Hilbert systems, which have led to the m...
Healfdene Goguen, Jean Goubault-Larrecq
FCT
2003
Springer
16 years 18 days ago
Membrane Computing
: In this paper a comparison is provided between the membrane computing systems and the graphical interfaces of operating systems. A membrane computing system is a computing model ...
Gheorghe Paun