Sciweavers

740 search results - page 22 / 148

» A Spatial Logic for Concurrency

48

BIOINFORMATICS
2007

59views more BIOINFORMATICS 2007»

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

14 years 11 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 »

51

ENTCS
2006

112views more ENTCS 2006»

An Observational Model for Spatial Logics

14 years 11 months ago

An Observational Model for Spatial Logics

Download ctp.di.fct.unl.pt

Emilio Tuosto, Hugo Torres Vieira

claim paper

Read More »

78

GEOINFORMATICA
2007

101views more GEOINFORMATICA 2007»

Logical Representation of a Conceptual Model for Spatial Data Warehouses

14 years 11 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 »

77

CORR
2010
Springer

64views Education» more CORR 2010»

A Spatial-Epistemic Logic for Reasoning about Security Protocols

14 years 6 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 »

95

SIGCOMM
2010
ACM

218views Communications» more SIGCOMM 2010»

Contrabass: concurrent transmissions without coordination

14 years 12 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 »