Sciweavers

AMCS
2011
341views Mathematics» more  AMCS 2011»
13 years 10 days ago
FSP and FLTL framework for specification and verification of middle-agents
Agents are a useful abstraction frequently employed as a basic building block in modeling service, information and resource sharing in global environments. The connecting of reques...
Amelia Badica, Costin Badica
AML
2011
322views Mathematics» more  AML 2011»
13 years 10 days ago
A dedekind finite borel set
In this paper we prove three theorems about the theory of Borel sets in models of ZF without any form of the axiom of choice. We prove that if B ⊆ 2ω is a Gδσ-set then either...
Arnold W. Miller
AMCS
2011
304views Mathematics» more  AMCS 2011»
13 years 10 days ago
Engineering intelligent systems on the knowledge formalization continuum
Joachim Baumeister, Jochen Reutelshoefer, Frank Pu...
Mathematics
Top of PageReset Settings