4421 search results - page 513 / 885 » Libraries |
121
Voted
SSIRI
2010
15 years 2 months ago
2010
—We describe how to use a timeband architecture to model real-time requirements. The architecture separates requirements that use different time units, producing a family of mode...
171
Voted
TOPLAS
2010
15 years 2 months ago
2010
program constraints are defined over a program’s abstract syntax tree. The JAVACOP compiler automatically enforces these constraints on programs during compilation. The JAVACOP ...
158
Voted
VR
2010
IEEE
15 years 2 months ago
2010
IEEE
In this paper we present a Mixed Reality (MR) teleconferencing application based on Second Life (SL) and the OpenSim virtual world. Augmented Reality (AR) techniques are used for ...
155
Voted
WABI
2010
Springer
15 years 2 months ago
2010
Springer
In this paper we present a novel expectation-maximization algorithm for inference of alternative splicing isoform frequencies from high-throughput transcriptome sequencing (RNA-Seq...
146
Voted
DAGM
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Graphical models with higher order factors are an important tool for pattern recognition that has recently attracted considerable attention. Inference based on such model...