Sciweavers

11211 search results - page 1637 / 2243
» Rank-Sensitive Data Structures
Sort
View
AAAI
2010
15 years 8 months ago
Soundness Preserving Approximation for TBox Reasoning
Large scale ontology applications require efficient and robust description logic (DL) reasoning services. Expressive DLs usually have very high worst case complexity while tractab...
Yuan Ren, Jeff Z. Pan, Yuting Zhao
ACL
2007
15 years 8 months ago
Generalizing Tree Transformations for Inductive Dependency Parsing
Previous studies in data-driven dependency parsing have shown that tree transformations can improve parsing accuracy for specific parsers and data sets. We investigate to what ex...
Jens Nilsson, Joakim Nivre, Johan Hall
APVIS
2007
15 years 8 months ago
Visualizing social interaction in open source software projects
Open source software projects such as Apache and Mozilla present an opportunity for information visualization. Since these projects typically require collaboration between develop...
Michael Ogawa, Kwan-Liu Ma, Christian Bird, Premku...
EDM
2010
150views Data Mining» more  EDM 2010»
15 years 8 months ago
Modeling Learning Trajectories with Epistemic Network Analysis: A Simulation-based Investigation of a Novel Analytic Method for
Epistemic games are designed to help players develop domain-specific expertise that characterizes how professionals in a particular domain reason, communicate, and act [1, 11]. To ...
Andre A. Rupp, Shauna J. Sweet, Younyoung Choi
CATS
2008
15 years 8 months ago
Verifying Michael and Scott's Lock-Free Queue Algorithm using Trace Reduction
Lock-free algorithms have been developed to avoid various problems associated with using locks to control access to shared data structures. These algorithms are typically more int...
Lindsay Groves
« Prev « First page 1637 / 2243 Last » Next »