Sciweavers

13603 search results - page 299 / 2721
» On the Computational Complexity of Cut-Reduction
Sort
View
246
Voted
ASPLOS
2011
ACM
14 years 10 months ago
RCDC: a relaxed consistency deterministic computer
Providing deterministic execution significantly simplifies the debugging, testing, replication, and deployment of multithreaded programs. Recent work has developed deterministic...
Joseph Devietti, Jacob Nelson, Tom Bergan, Luis Ce...
RECOMB
2007
Springer
16 years 7 months ago
Reconstructing an Inversion History in the Anopheles Gambiae Complex
Ai Xia, Maria V. Sharakhova, Igor V. Sharakhov
CVPR
2001
IEEE
16 years 9 months ago
Text Identification in Complex Background Using SVM
Datong Chen, Hervé Bourlard, Jean-Philippe ...
ICPR
2002
IEEE
16 years 8 months ago
Text Segmentation and Recognition in Complex Background Based on Markov Random Field
Datong Chen, Jean-Marc Odobez, Hervé Bourla...
116
Voted
CHI
2006
ACM
16 years 7 months ago
IT@Home: unraveling complexities of networked devices in the home
David W. McDonald, Bill N. Schilit, Sara A. Bly