Sciweavers

740 search results - page 22 / 148

» A Spatial Logic for Concurrency

10

BIOINFORMATICS
2007

59views more BIOINFORMATICS 2007»

Learning probabilistic models of cis-regulatory modules that represent logical and spatial aspects

13 years 7 months ago

Learning probabilistic models of cis-regulatory modules that represent logical and spatial aspects

Download www.biostat.wisc.edu

Keith Noto, Mark Craven

claim paper

Read More »

15

ENTCS
2006

112views more ENTCS 2006»

An Observational Model for Spatial Logics

13 years 7 months ago

An Observational Model for Spatial Logics

Download ctp.di.fct.unl.pt

Emilio Tuosto, Hugo Torres Vieira

claim paper

Read More »

18

GEOINFORMATICA
2007

101views more GEOINFORMATICA 2007»

Logical Representation of a Conceptual Model for Spatial Data Warehouses

13 years 7 months ago

Logical Representation of a Conceptual Model for Spatial Data Warehouses

Download code.ulb.ac.be

Elzbieta Malinowski, Esteban Zimányi

claim paper

Read More »

21

CORR
2010
Springer

64views Education» more CORR 2010»

A Spatial-Epistemic Logic for Reasoning about Security Protocols

13 years 2 months ago

A Spatial-Epistemic Logic for Reasoning about Security Protocols

Download www.cs.cmu.edu

Bernardo Toninho, Luís Caires

claim paper

Read More »

26

SIGCOMM
2010
ACM

218views Communications» more SIGCOMM 2010»

Contrabass: concurrent transmissions without coordination

13 years 7 months ago

Contrabass: concurrent transmissions without coordination

Download conferences.sigcomm.org

A PHY and MAC protocol for MIMO concurrent transmissions, called Contrabass, is presented. Concurrent transmissions, also referred to as multi-user MIMO, are simultaneous transmis...

Sungro Yoon

claim paper

Read More »

« Prev « First page 22 / 148 Last » Next »