Sciweavers

19832 search results - page 3485 / 3967
» The Korrontea Data Modeling
Sort
View
NJC
2006
88views more  NJC 2006»
15 years 6 months ago
Optimizing Slicing of Formal Specifications by Deductive Verification
Slicing is a technique for extracting parts of programs or specifications with respect to certain criteria of interest. The extraction is carried out in such a way that properties ...
Ingo Brückner, Björn Metzler, Heike Wehr...
AIR
2005
99views more  AIR 2005»
15 years 6 months ago
Evolving General Term-Weighting Schemes for Information Retrieval: Tests on Larger Collections
Term-weighting schemes are vital to the performance of Information Retrieval models that use term frequency characteristics to determine the relevance of a document. The vector spa...
Ronan Cummins, Colm O'Riordan
TCSV
2008
291views more  TCSV 2008»
15 years 6 months ago
A Statistical Video Content Recognition Method Using Invariant Features on Object Trajectories
Abstract--This work is dedicated to a statistical trajectorybased approach addressing two issues related to dynamic video content understanding: recognition of events and detection...
Alexandre Hervieu, Patrick Bouthemy, Jean-Pierre L...
JCB
2007
191views more  JCB 2007»
15 years 6 months ago
Bayesian Haplotype Inference via the Dirichlet Process
The problem of inferring haplotypes from genotypes of single nucleotide polymorphisms (SNPs) is essential for the understanding of genetic variation within and among populations, ...
Eric P. Xing, Michael I. Jordan, Roded Sharan
TOMCCAP
2008
112views more  TOMCCAP 2008»
15 years 6 months ago
Scalable on-demand media streaming for heterogeneous clients
Periodic broadcast protocols enable the efficient streaming of highly popular media files to large numbers of concurrent clients. Most previous periodic broadcast protocols, howeve...
Phillipa Gill, Liqi Shi, Anirban Mahanti, Zongpeng...
« Prev « First page 3485 / 3967 Last » Next »