output
20052009
most citedA TLA+ Proof System

17 citations

Showing 2009Show all

6 papers · 1 filter

cs.NI20094 cited

Analytical Models for Energy Consumption in Infrastructure WLAN STAs Carrying TCP Traffic

Pranav Agrawal, Anurag Kumar, Joy Kuri +4

We develop analytical models for estimating the energy spent by stations (STAs) in infrastructure WLANs when performing TCP controlled file downloads. We focus on the energy spent…

physics.data-an20094 cited

Syntax is from Mars while Semantics from Venus! Insights from Spectral Analysis of Distributional Similarity Networks

Chris Biemann, Monojit Choudhury, Animesh Mukherjee

We study the global topology of the syntactic and semantic distributional similarity networks for English through the technique of spectral analysis. We observe that while the synt…

cs.CL2009

Language Diversity across the Consonant Inventories: A Study in the Framework of Complex Networks

Monojit Choudhury, Animesh Mukherjee, Anupam Basu +3

n this paper, we attempt to explain the emergence of the linguistic diversity that exists across the consonant inventories of some of the major language families of the world throu…

cs.AI20091 cited

Learning for Dynamic subsumption

Youssef Hamadi, Said Jabbour, Lakhdar Sais

In this paper a new dynamic subsumption technique for Boolean CNF formulae is proposed. It exploits simple and sufficient conditions to detect during conflict analysis, clauses fro…

math.PR20094 cited

Is the critical percolation probability local?

Itai Benjamini, Asaf Nachmias, Yuval Peres

We show that the critical probability for percolation on a d-regular non-amenable graph of large girth is close to the critical probability for percolation on an infinite d-regular…

cs.CL20094 cited

Discovering Global Patterns in Linguistic Networks through Spectral Analysis: A Case Study of the Consonant Inventories

Animesh Mukherjee, Monojit Choudhury, Ravi Kannan

Recent research has shown that language and the socio-cognitive phenomena associated with it can be aptly modeled and visualized through networks of linguistic entities. However, m…