Sciweavers

4722 search results - page 932 / 945
» Representation-independent program analysis
Sort
View
CORR
2008
Springer
104views Education» more  CORR 2008»
14 years 11 months ago
Some Aspects of Testing Process for Transport Streams in Digital Video Broadcasting
: This paper presents some aspects related to the DVB (Digital Video Broadcasting) investigation. Thebasicaspectsof DVB are presented, with an emphasis on DVB-T version of standard...
Radu Arsinte, Ciprian Ilioaei
CORR
2008
Springer
152views Education» more  CORR 2008»
14 years 11 months ago
Characterizing User Mobility in Second Life
In this work we present a measurement study of user mobility in Second Life. We first discuss different techniques to collect user traces and then focus on results obtained using ...
Chi-Anh La, Pietro Michiardi
100
Voted
CORR
2008
Springer
150views Education» more  CORR 2008»
14 years 11 months ago
Message-passing for Maximum Weight Independent Set
Abstract--In this paper, we investigate the use of messagepassing algorithms for the problem of finding the max-weight independent set (MWIS) in a graph. First, we study the perfor...
Sujay Sanghavi, Devavrat Shah, Alan S. Willsky
AI
2006
Springer
14 years 11 months ago
Backward-chaining evolutionary algorithms
Starting from some simple observations on a popular selection method in Evolutionary Algorithms (EAs)--tournament selection--we highlight a previously-unknown source of inefficien...
Riccardo Poli, William B. Langdon
ALMOB
2006
155views more  ALMOB 2006»
14 years 11 months ago
A phylogenetic generalized hidden Markov model for predicting alternatively spliced exons
Background: An important challenge in eukaryotic gene prediction is accurate identification of alternatively spliced exons. Functional transcripts can go undetected in gene expres...
Jonathan E. Allen, Steven L. Salzberg