Sciweavers

3008 search results - page 299 / 602
» Mechanisms for Importing Modules
Sort
View
FCSC
2010
170views more  FCSC 2010»
15 years 4 months ago
Formal verification of concurrent programs with read-write locks
Abstract Read-write locking is an important mechanism to improve concurrent granularity, but it is difficult to reason about the safety of concurrent programs with read-write locks...
Ming Fu, Yu Zhang, Yong Li
CORR
2011
Springer
209views Education» more  CORR 2011»
14 years 10 months ago
Close the Gaps: A Learning-while-Doing Algorithm for a Class of Single-Product Revenue Management Problems
In this work, we consider a retailer selling a single product with limited on-hand inventory over a finite selling season. Customer demand arrives according to a Poisson process,...
Zizhuo Wang, Shiming Deng, Yinyu Ye
COGSCI
2011
64views more  COGSCI 2011»
14 years 10 months ago
Structural Priming as Structure-Mapping: Children Use Analogies From Previous Utterances to Guide Sentence Production
What mechanisms underlie children’s language production? Structural priming—the repetition of sentence structure across utterances—is an important measure of the developing ...
Micah B. Goldwater, Marc T. Tomlinson, Catharine H...
PAM
2011
Springer
14 years 9 months ago
On the Feasibility of Bandwidth Detouring
Internet applications that route data over default Internet paths can often increase performance by sending their traffic over alternative “detour” paths. Previous work has sho...
Thom Haddow, Sing Wang Ho, Jonathan Ledlie, Cristi...
ASUNAM
2011
IEEE
14 years 6 months ago
Multi-relational Link Prediction in Heterogeneous Information Networks
Abstract—Many important real-world systems, modeled naturally as complex networks, have heterogeneous interactions and complicated dependency structures. Link prediction in such ...
Darcy A. Davis, Ryan Lichtenwalter, Nitesh V. Chaw...