Sciweavers

2949 search results - page 271 / 590
» Universal Sparse Modeling
Sort
View
IPPS
2007
IEEE
15 years 10 months ago
ParalleX: A Study of A New Parallel Computation Model
This paper proposes the study of a new computation model that attempts to address the underlying sources of performance degradation (e.g. latency, overhead, and starvation) and th...
Guang R. Gao, Thomas L. Sterling, Rick Stevens, Ma...
MMM
2007
Springer
198views Multimedia» more  MMM 2007»
15 years 10 months ago
A Shape Distribution for Comparing 3D Models
This study developed a new shape-based 3D model descriptor based on the D2 shape descriptor developed by Osada, et al of Princeton University. Shape descriptors can be used to meas...
Levi C. Monteverde, Conrado R. Ruiz Jr., Zhiyong H...
ATVA
2007
Springer
108views Hardware» more  ATVA 2007»
15 years 10 months ago
A New Approach to Bounded Model Checking for Branching Time Logics
Abstract. Bounded model checking (BMC) is a technique for overcoming the state explosion problem which has gained wide industrial acceptance. Bounded model checking is typically ap...
Rotem Oshman, Orna Grumberg
ICWE
2007
Springer
15 years 10 months ago
Fixing Weakly Annotated Web Data Using Relational Models
In this paper, we present a fast and scalable Bayesian model for improving weakly annotated data – which is typically generated by a (semi) automated information extraction (IE) ...
Fatih Gelgi, Srinivas Vadrevu, Hasan Davulcu
ICALT
2005
IEEE
15 years 10 months ago
LM-DTM: An Environment for XML-Based, LIP/PAPI-Compliant Deployment, Transformation and Matching of Learner Models
Our shared belief is that learning, like other human activities, cannot and will not be confined within rigidly defined course systems or learning repositories, inclosing learning...
Mohamed Amine Chatti, Ralf Klamma, Christoph Quix,...