Sciweavers

479 search results - page 9 / 96

» A quantified logic of evidence

118

GECCO
2007
Springer

154views Optimization» more GECCO 2007»

Evolutionary algorithms for reasoning in fuzzy description logics with fuzzy quantifiers

16 years 5 days ago

Evolutionary algorithms for reasoning in fuzzy description logics with fuzzy quantifiers

Download www.cs.bham.ac.uk

Mauro Dragoni, Andrea Tettamanzi

claim paper

Read More »

134

CONCUR
2004
Springer

87views Distributed And Parallel Com...» more CONCUR 2004»

Elimination of Quantifiers and Undecidability in Spatial Logics for Concurrency

15 years 9 months ago

Elimination of Quantifiers and Undecidability in Spatial Logics for Concurrency

Download www.it.uu.se

Luís Caires, Étienne Lozes

claim paper

Read More »

96

JSYML
2002

36views more JSYML 2002»

A Unified Completeness Theorem for Quantified Modal Logics

15 years 5 months ago

A Unified Completeness Theorem for Quantified Modal Logics

Download staff.science.uva.nl

Giovanna Corsi

claim paper

Read More »

140

AI
2010
Springer

157views Artificial Intelligence» more AI 2010»

Learning complex action models with quantifiers and logical implications

15 years 4 months ago

Learning complex action models with quantifiers and logical implications

Download www.zsusoft.com

Hankz Hankui Zhuo, Qiang Yang, Derek Hao Hu, Lei L...

claim paper

Read More »

155

ICC
2009
IEEE

159views Communications» more ICC 2009»

Evidences Behind Skype Outage

16 years 22 days ago

Evidences Behind Skype Outage

Download www.tlc-networks.polito.it

—Skype is one of the most successful VoIP application in the current Internet spectrum. One of the most peculiar characteristics of Skype is that it relies on a P2P infrastructur...

Dario Rossi, Marco Mellia, Michela Meo

claim paper

Read More »

« Prev « First page 9 / 96 Last » Next »