2013 search results - page 397 / 403 » Happy New Year |
187
click to vote
IANDC
2011
15 years 27 days ago
2011
Partial transition systems support abstract model checking of complex temporal propercombining both over- and under-approximatingabstractions into a single model. Over the years, ...
199
click to vote
WWW
2011
ACM
15 years 26 days ago
2011
ACM
The psycholinguistic theory of communication accommodation accounts for the general observation that participants in conversations tend to converge to one another’s communicativ...
216
click to vote
WWW
2011
ACM
15 years 26 days ago
2011
ACM
Computing the degree of semantic relatedness of words is a key functionality of many language applications such as search, clustering, and disambiguation. Previous approaches to c...
196
click to vote
WWW
2011
ACM
15 years 26 days ago
2011
ACM
The clustering coefficient of a node in a social network is a fundamental measure that quantifies how tightly-knit the community is around the node. Its computation can be reduce...
247
click to vote
IGARSS
2010
15 years 23 days ago
2010
Coincident profile information from CALIPSO's lidar and CloudSat's radar offers a unique opportunity to map the vertical structure of clouds over the globe with accuraci...