1264 search results - page 73 / 253 » Towards Theory Translation |
150
Voted
SOFSEM
2009
Springer
15 years 10 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 ...
146
click to vote
CAV
2009
Springer
16 years 12 days 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...
151
click to vote
ATAL
2009
Springer
16 years 5 days 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...
209
click to vote
JSAI
2007
Springer
15 years 11 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...
155
click to vote
HICSS
2006
IEEE
15 years 11 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...