Sciweavers

177 search results - page 17 / 36
» Modeling shared variables in VHDL
Sort
View
INFOCOM
2005
IEEE
15 years 6 months ago
An analytic framework for modeling peer to peer networks
Abstract—This paper presents an analytic framework to evaluate the performance of peer to peer (P2P) networks. Using the time to download or replicate an arbitrary file as the m...
Krishna K. Ramachandran, Biplab Sikdar
EMNLP
2011
14 years 5 days ago
Cross-Cutting Models of Lexical Semantics
Context-dependent word similarity can be measured over multiple cross-cutting dimensions. For example, lung and breath are similar thematically, while authoritative and superfici...
Joseph Reisinger, Raymond J. Mooney
97
Voted
WWW
2007
ACM
16 years 1 months ago
Generative models for name disambiguation
Name ambiguity is a special case of identity uncertainty where one person can be referenced by multiple name variations in different situations or even share the same name with ot...
Yang Song, Jian Huang 0002, Isaac G. Councill, Jia...
ICIP
2009
IEEE
16 years 1 months ago
Circular Blurred Shape Model For Symbol Spotting In Documents
Symbol spotting problem requires feature extraction strategies able to generalize from training samples and to localize the target object while discarding most part of the image. ...
116
Voted
FM
2009
Springer
169views Formal Methods» more  FM 2009»
15 years 4 months ago
Model Checking Linearizability via Refinement
Abstract. Linearizability is an important correctness criterion for implementations of concurrent objects. Automatic checking of linearizability is challenging because it requires ...
Yang Liu 0003, Wei Chen, Yanhong A. Liu, Jun Sun 0...