Sciweavers

4401 search results - page 427 / 881
» Computing with Default Logic
Sort
View
QSHINE
2009
IEEE
16 years 1 months ago
Integration of OMF-Based Testbeds in a Global-Scale Networking Facility
PlanetLab is a global scale platform for experimentation of new networking applications in a real environment. It consists of several nodes, offered by academic institutions or co...
Giovanni Di Stasi, Stefano Avallone, Roberto Canon...

Book
796views
17 years 5 months ago
Introduction to Machine Learning
This is an introductory book about machine learning. Notice that this is a draft book. It may contain typos, mistakes, etc. The book covers the following topics: Boolean Functio...
Nils J. Nilsson
SIGSOFT
2003
ACM
16 years 7 months ago
Policy-enforced linking of untrusted components
d Abstract) Eunyoung Lee Andrew W. Appel Department of Computer Science Princeton University {elee,appel}@cs.princeton.edu Categories and Subject Descriptors D.2.4 [Software Engine...
Eunyoung Lee, Andrew W. Appel
ICCS
2009
Springer
16 years 1 months ago
System Consequence
My paper discusses system consequence, which is a central idea in the project to lift the theory of information flow to the general level of universal logic and the theory of ins...
Robert E. Kent
PERCOM
2007
ACM
16 years 1 months ago
A Performance Evaluation of Ontology-Based Context Reasoning
The CARE middleware aims at supporting contextaware adaptation of Internet services in a mobile computing environment. The CARE hybrid reasoning mechanism is based on a loose inte...
Alessandra Agostini, Claudio Bettini, Daniele Ribo...