Sciweavers

1527 search results - page 161 / 306
» What About Wednesday
Sort
View
CE
2007
96views more  CE 2007»
13 years 9 months ago
The ECDL programme in Italian Universities
The European Computer Driving Licence (ECDL) programme aims at testing practical skills and competencies in using ICT tools. This paper presents the results of a monitoring exerci...
Mariacarla Calzarossa, Paolo Ciancarini, Paolo Mar...
JAPLL
2008
76views more  JAPLL 2008»
13 years 9 months ago
The many faces of counts-as: A formal analysis of constitutive rules
Abstract. The paper proposes a logical systematization of the notion of countsas which is grounded on a very simple intuition about what counts-as statements actually mean, i.e., f...
Davide Grossi, John-Jules Ch. Meyer, Frank Dignum
JALC
2006
95views more  JALC 2006»
13 years 9 months ago
On the Decidability of Model-Checking for P Systems
Membrane computing is a branch of molecular computing that aims to develop models and paradigms that are biologically motivated. It identifies an unconventional computing model, n...
Zhe Dang, Oscar H. Ibarra, Cheng Li, Gaoyan Xie
ENGL
2007
101views more  ENGL 2007»
13 years 9 months ago
Fault Tolerant Multi-Agent Systems: its communication and cooperation
— Intelligent Agents have originated a lot of discussion about what they are, and how they are different from general programs. We describe in this paper a new paradigm for intel...
Arnulfo Alanis Garza, Juan José Serrano, Ra...
SIAMDM
2008
99views more  SIAMDM 2008»
13 years 9 months ago
Hat Guessing Games
Hat problems have become a popular topic in recreational mathematics. In a typical hat problem, each of n players tries to guess the color of the hat they are wearing by looking a...
Steve Butler, Mohammad Taghi Hajiaghayi, Robert D....