Sciweavers

2016 search results - page 96 / 404
» Megamaps: Construction and Examples
Sort
View
SIGPLAN
2002
15 years 4 months ago
A rule-based language for programming software updates
We describe the design of a rule-based language for expressing changes to Haskell programs in a systematic and reliable way. The update language essentially offers update commands...
Martin Erwig, Deling Ren
SIMULATION
2002
118views more  SIMULATION 2002»
15 years 4 months ago
Simulation of Tactical Communications Systems by Inferring Detailed Data from the Joint Theater-Level Computer-Aided Exercises
- In this paper, a new scheme for the simulation of tactical communications systems is introduced where the mobility, call and availability patterns for the communications equipmen...
Erdal Cayirci, Cem Ersoy
TOG
2002
208views more  TOG 2002»
15 years 4 months ago
Articulated body deformation from range scan data
This paper presents an example-based method for calculating skeleton-driven body deformations. Our example data consists of range scans of a human body in a variety of poses. Usin...
Brett Allen, Brian Curless, Zoran Popovic
ML
2007
ACM
106views Machine Learning» more  ML 2007»
15 years 4 months ago
Surrogate maximization/minimization algorithms and extensions
Abstract Surrogate maximization (or minimization) (SM) algorithms are a family of algorithms that can be regarded as a generalization of expectation-maximization (EM) algorithms. A...
Zhihua Zhang, James T. Kwok, Dit-Yan Yeung
NAR
2007
152views more  NAR 2007»
15 years 4 months ago
COMPASS server for remote homology inference
COMPASS is a method for homology detection and local alignment construction based on the comparison of multiple sequence alignments (MSAs). The method derives numerical profiles f...
Ruslan Sadreyev, Ming Tang, Bong-Hyun Kim, Nick V....