Search Sciweavers | Sciweavers

168 search results - page 8 / 34

» el 2010

click to vote

JSC
2010

135views more JSC 2010»

Deciding inseparability and conservative extensions in the description logic EL

14 years 7 months ago

Download www.csc.liv.ac.uk

We study the problem of deciding whether two ontologies are inseparable w.r.t. a signature Σ, i.e., whether they have the same consequences in the signature Σ. A special case is...

Carsten Lutz, Frank Wolter

claim paper

Read More »

click to vote

ATAL
2010
Springer

178views Intelligent Agents» more ATAL 2010»

Symbolic model checking for agent interactions

14 years 10 months ago

Download users.encs.concordia.ca

Mohamed El-Menshawy, Wei Wan, Jamal Bentahar, Rach...

claim paper

Read More »

click to vote

HICSS
2010
IEEE

162views Biometrics» more HICSS 2010»

A Cyberinfrastructure Framework for Comparative Effectiveness Research in Healthcare

15 years 4 months ago

Download www.hicss.hawaii.edu

Omar F. El-Gayar, Surendra Sarnikar, Matthew J. Wi...

claim paper

Read More »

click to vote

ICDCN
2010
Springer

109views Distributed and Parallel Com...» more ICDCN 2010»

Radio Network Distributed Algorithms in the Unknown Neighborhood Model

15 years 4 months ago

Download www.liafa.jussieu.fr

Bilel Derbel, El-Ghazali Talbi

claim paper

Read More »

click to vote

ICDCS
2010
IEEE

199views Distributed And Parallel Com...» more ICDCS 2010»

Distributed Node Coloring in the SINR Model

14 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers