5550 search results - page 14 / 1110 » Different Approaches to Proof Systems |
CORR
2002
Springer
14 years 9 months ago
2002
Springer
In this thesis I present a virtual laboratory which implements five different models for controlling animats: a rule-based system, a behaviour-based system, a concept-based system...
ICPP
2007
IEEE
15 years 4 months ago
2007
IEEE
Providing QoS and performance guarantees to arbitrarily divisible loads has become a significant problem for many cluster-based research computing facilities. While progress is b...
IJCAI
2001
14 years 11 months ago
2001
Role-limiting approaches using explicit theories of problem-solving have been successful for acquiring knowledge from domain experts1 . However most systems using this approach do...
ITP
2010
14 years 8 months ago
2010
mentation of the Abstraction Method In Coq Eelis van der Weegen Institute for Computing and Information Sciences Raboud University Nijmegen This technical report documents our deve...
MSS
2005
IEEE
15 years 3 months ago
2005
IEEE
Modern storage systems are responsible for increasing amounts of data and the value of the data itself is growing in importance. Several primary storage system solutions have emer...