1816 search results - page 284 / 364 » Formal Concepts of Learning Systems Validation in Use |
JUCS
2010
14 years 6 months ago
2010
: Veldman proved that the contrapositive of countable binary choice is a theorem of full-fledged intuitionism, to which end he used a principle of continuous choice and the fan the...
109
click to vote
ER
2001
Springer
15 years 4 months ago
2001
Springer
Abstract. Conceptual models are formal descriptions of application domains that are used in early stages of system development to support requirements analysis. The Unified Modeli...
121
click to vote
AGI
2011
14 years 3 months ago
2011
What set of concepts and formalizations might one use to make a practically useful, theoretically rigorous theory of generally intelligent systems? We present a novel perspective m...
DAGSTUHL
2006
15 years 1 months ago
2006
The need for process support in the context of web services has triggered the development of many languages, systems, and standards. Industry has been developing software solutions...
182
click to vote
ACMSE
2011
ACM
13 years 12 months ago
2011
ACM
Rising Field Programmable Gate Array (FPGA) market volumes combined with increasing industrial popularity have driven prices down and improved capability to the point that FPGA ha...