Sciweavers

Share ➚
AMCS
2011
341views Mathematics» more  AMCS 2011»
FSP and FLTL framework for specification and verification of middle-agents
10 years 1 months ago
FSP and FLTL framework for specification and verification of middle-agents
Download  versita.metapress.com
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
claim paper
Read More »
AML
2011
322views Mathematics» more  AML 2011»
A dedekind finite borel set
10 years 1 months ago
A dedekind finite borel set
Download  www.math.wisc.edu
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
claim paper
Read More »
AML
2011
306views Mathematics» more  AML 2011»
Representations of structural closure operators
10 years 1 months ago
Representations of structural closure operators
Download  www.mat.ub.edu
José Gil-Férez
claim paper
Read More »
AMCS
2011
304views Mathematics» more  AMCS 2011»
Engineering intelligent systems on the knowledge formalization continuum
10 years 1 months ago
Engineering intelligent systems on the knowledge formalization continuum
Download  ki.informatik.uni-wuerzburg.de
Joachim Baumeister, Jochen Reutelshoefer, Frank Pu...
claim paper
Read More »
AMCS
2011
304views Mathematics» more  AMCS 2011»
Hierarchical residue number systems with small moduli and simple converters
10 years 1 months ago
Hierarchical residue number systems with small moduli and simple converters
Download  matwbn.icm.edu.pl
Tadeusz Tomczak
claim paper
Read More »
All Subjects
Algorithms
Applied Computing
Artificial Intelligence
Augmented Reality
Automated Reasoning
Bioinformatics
Biometrics
Business
Combinatorics
Communications
Computational Biology
Computational Geometry
Computational Linguistics
Computer Architecture
Computer Graphics
Computer Networks
Computer Vision
Control Systems
Cryptology
Data Mining
Database
Discrete Geometry
Distributed And Parallel Computing
Document Analysis
ECommerce
Education
Electrical And Computer Engineering
Embedded Systems
Emerging Technology
Formal Methods
FPGA
Fuzzy Logic
Game Theory
GIS
Hardware
Healthcare
Human Computer Interaction
Image Analysis
Image Processing
Information Technology
Intelligent Agents
Internet Technology
Knowledge Management
Logical Reasoning
Machine Learning
Management
Mathematics
Medical Imaging
Modeling And Simulation
Multimedia
Natural Language Processing
Neural Networks
Operating System
Operations Research
Optimization
Pattern Recognition
Programming Languages
Robotics
Security Privacy
Sensor Networks
Signal Processing
Social Networks
Social Sciences
Software Engineering
Solid Modeling
System Software
Theoretical Computer Science
Virtual Reality
Visualization
VLSI
Mathematics
Top of PageReset Settings
Explore & Download
Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
Productivity Tools
International On-screen Keyboard Graphical Social Symbols OCR Text Recognition CSS3 Style Generator Web Page to PDF Web Page to Image PDF Split PDF Merge Latex Equation Editor Sci2ools
Document Tools
PDF to Text PDF to Postscript PDF to Thumbnails Excel to PDF Word to PDF Postscript to PDF PowerPoint to PDF Latex to Word Repair Corrupted PDF
Image Tools
JPG to PS JPG to PDF Extract Images from PDF Image Converter
Sciweavers
About Community Report Bug Request Feature Cookies Privacy Policy Terms of Use Contact

Copyright © 2009-2011 Sciweavers LLC. All rights reserved.

books