Sciweavers

2562 search results - page 63 / 513
» Components of the Fundamental Category
Sort
View
COMSIS
2010
15 years 3 months ago
3D mesh skeleton extraction using prominent segmentation
Skeleton of 3D mesh is a fundamental shape feature, and is useful for shape description and other many applications in 3D Digital Geometry Processing. This paper presents a novel s...
Xiaopeng Sun, J. Pan, Xiaopeng Wei
WSDM
2010
ACM
160views Data Mining» more  WSDM 2010»
16 years 3 months ago
Tagging Human Knowledge
A fundamental premise of tagging systems is that regular users can organize large collections for browsing and other tasks using uncontrolled vocabularies. Until now, that premise...
Paul Heymann, Andreas Paepcke, Hector Garcia-Molin...
TLDI
2005
ACM
126views Formal Methods» more  TLDI 2005»
15 years 12 months ago
Type inference for atomicity
Atomicity is a fundamental correctness property in multithreaded programs. This paper presents an algorithm for verifying atomicity via type inference. The underlying type system ...
Cormac Flanagan, Stephen N. Freund, Marina Lifshin
HT
2004
ACM
15 years 12 months ago
Augmenting SCORM manifests with adaptive links
This paper describes an experiment to augment SCORM manifests with adaptive links using AuldLinky in order to promote content reusability, interoperability and personalized elearn...
Nor Aniza Abdullah, Christopher Bailey, Hugh C. Da...
ISSAC
2004
Springer
91views Mathematics» more  ISSAC 2004»
15 years 11 months ago
A poly-algorithmic approach to simplifying elementary functions
Simplification has been long recognised to be a fundamental problem within computer algebra[17]. However, even for the class of elementary functions, it has not been resolved in ...
James C. Beaumont, Russell J. Bradford, James H. D...