1264 search results - page 73 / 253 » Towards Theory Translation |
SOFSEM
2009
Springer
14 years 1 months ago
2009
Springer
In this text we will discuss different forms of randomness in Natural Sciences and present some recent results relating them. In finite processes, randomness differs in various ...
CAV
2009
Springer
14 years 3 months ago
2009
Springer
Systems and Networks on Chips (NoCs) are a prime design focus of many hardware manufacturers. In addition to functional verification, which is a difficult necessity, the chip desi...
ATAL
2009
Springer
14 years 3 months ago
2009
Springer
In this paper we describe MASQ (Multi-Agent Systems based on Quadrants), a model that defines four perspectives over an agent-based interaction according to two axes: internal/ex...
JSAI
2007
Springer
14 years 3 months ago
2007
Springer
CF-induction is a sound and complete hypothesis finding procedure for full clausal logic which uses the principle of inverse entailment to compute a hypothesis that logically expl...
HICSS
2006
IEEE
14 years 2 months ago
2006
IEEE
Bandura’s theories of self- and collective efficacy are widely recognized in many fields, including psychology and management, but have been largely unnoticed by the Human-Compu...