Sciweavers

224 search results - page 31 / 45
» An Efficient Implementation of Braid Groups
Sort
View
DAC
2004
ACM
14 years 8 months ago
Abstraction refinement by controllability and cooperativeness analysis
ion Refinement by Controllability and Cooperativeness Analysis Freddy Y.C. Mang and Pei-Hsin Ho Advanced Technology Group, Synopsys, Inc. {fmang, pho}@synopsys.com nt a new abstrac...
Freddy Y. C. Mang, Pei-Hsin Ho
COORDINATION
2009
Springer
14 years 8 months ago
Multicore Scheduling for Lightweight Communicating Processes
Process-oriented programming is a design methodology in which software applications are constructed from communicating concurrent processes. A process-oriented design is typically ...
Carl G. Ritson, Adam T. Sampson, Fred R. M. Barnes
KDD
2007
ACM
144views Data Mining» more  KDD 2007»
14 years 7 months ago
Fast direction-aware proximity for graph mining
In this paper we study asymmetric proximity measures on directed graphs, which quantify the relationships between two nodes or two groups of nodes. The measures are useful in seve...
Hanghang Tong, Christos Faloutsos, Yehuda Koren
CHI
2009
ACM
14 years 2 months ago
Understanding knowledge management practices for early design activity and its implications for reuse
Prior knowledge is a critical resource for design, especially when designers are striving to generate new ideas for complex problems. Systems that improve access to relevant prior...
Moushumi Sharmin, Brian P. Bailey, Cole Coats, Kev...
MICCAI
2005
Springer
14 years 27 days ago
Photo-Realistic Tissue Reflectance Modelling for Minimally Invasive Surgical Simulation
Computer-based simulation is an important tool for surgical skills training and assessment. In general, the degree of realism experienced by the trainees is determined by the visua...
Mohamed A. ElHelw, M. Stella Atkins, Marios Nicola...