Sciweavers

1368 search results - page 193 / 274
» Personality-Based Practical Reasoning
Sort
View
PCM
2004
Springer
168views Multimedia» more  PCM 2004»
15 years 8 months ago
Approximating Inference on Complex Motion Models Using Multi-model Particle Filter
Abstract. Due to its great ability of conquering clutters, which is especially useful for high-dimensional tracking problems, particle filter becomes popular in the visual trackin...
Jianyu Wang, Debin Zhao, Shiguang Shan, Wen Gao
SEMWEB
2004
Springer
15 years 8 months ago
OntoViews - A Tool for Creating Semantic Web Portals
Abstract. This paper presents a semantic web portal tool ONTOVIEWS for publishing RDF content on the web. ONTOVIEWS provides the portal designer with a content-based search engine ...
Eetu Mäkelä, Eero Hyvönen, Samppa S...
101
Voted
TCC
2004
Springer
134views Cryptology» more  TCC 2004»
15 years 8 months ago
A Universally Composable Mix-Net
We show how to public-key obfuscate two commonly used shuffles: decryption shuffles which permute and decrypt ciphertexts, and re-encryption shuffles which permute and re-encrypt c...
Douglas Wikström
UML
2004
Springer
15 years 8 months ago
SoftContract: Model-Based Design of Error-Checking Code and Property Monitors
This paper discusses a model-based design flow for requirements in distributed embedded software development. Such requirements are specified using a language similar to Linear T...
Luciano Lavagno, Marco Di Natale, Alberto Ferrari,...
151
Voted
WABI
2004
Springer
142views Bioinformatics» more  WABI 2004»
15 years 8 months ago
Linear Reduction for Haplotype Inference
Abstract. Haplotype inference problem asks for a set of haplotypes explaining a given set of genotypes. Popular software tools for haplotype inference (e.g., PHASE, HAPLOTYPER) as ...
Jingwu He, Alexander Zelikovsky