Search Sciweavers | Sciweavers

3006 search results - page 31 / 602

» Overview

click to vote

ICLP
2009
Springer

139views Automated Reasoning» more ICLP 2009»

An Overview of FORCES: An INRIA Project on Declarative Formalisms for Emergent Systems

15 years 4 months ago

Download www.labri.fr

Abstract. The FORCES project aims at providing robust and declarative formalisms for analyzing systems in the emerging areas of Security Protocols, Biological Systems and Multimedi...

Jesús Aranda, Gérard Assayag, Carlos...

claim paper

Read More »

click to vote

TPHOL
2009
IEEE

254views Automated Reasoning» more TPHOL 2009»

HOL Light: An Overview

15 years 4 months ago

Download www.cl.cam.ac.uk

John Harrison

claim paper

Read More »

click to vote

AIED
2009
Springer

143views Artificial Intelligence» more AIED 2009»

An Overview of LSA-Based Systems for Supporting Learning and Teaching

15 years 4 months ago

Download webu2.upmf-grenoble.fr

Philippe Dessus

claim paper

Read More »

click to vote

ATAL
2009
Springer

83views Intelligent Agents» more ATAL 2009»

An overview of privacy improvements to k-optimal DCOP algorithms

15 years 4 months ago

Download www.aamas-conference.org

Rachel Greenstadt

claim paper

Read More »

click to vote

CLOUDCOM
2009
Springer

151views Distributed And Parallel Com...» more CLOUDCOM 2009»

Cloud Computing: An Overview

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers