Sciweavers

3224 search results - page 313 / 645
» Abstract Error Projection
Sort
View
TMRA
2005
Springer
16 years 4 days ago
tolog - A Topic Maps Query Language
Abstract. This paper describes a query algebra for tolog, a query language for Topic Maps inspired by Prolog and very similar to Datalog. The language is based on binding variables...
Lars Marius Garshol
VLSM
2005
Springer
16 years 4 days ago
A Gradient Descent Procedure for Variational Dynamic Surface Problems with Constraints
Abstract. Many problems in image analysis and computer vision involving boundaries and regions can be cast in a variational formulation. This means that m-surfaces, e.g. curves and...
Jan Erik Solem, Niels Chr. Overgaard
WABI
2005
Springer
128views Bioinformatics» more  WABI 2005»
16 years 4 days ago
Algorithms for Imperfect Phylogeny Haplotyping (IPPH) with a Single Homoplasy or Recombination Event
Abstract. The haplotype inference (HI) problem is the problem of inferring 2n haplotype pairs from n observed genotype vectors. This is a key problem that arises in studying geneti...
Yun S. Song, Yufeng Wu, Dan Gusfield
WCC
2005
Springer
172views Cryptology» more  WCC 2005»
16 years 4 days ago
Dimension of the Linearization Equations of the Matsumoto-Imai Cryptosystems
Abstract. The Matsumoto-Imai (MI) cryptosystem was the first multivariate public key cryptosystem proposed for practical use. Though MI is now considered insecure due to Patarinā€...
Adama Diene, Jintai Ding, Jason E. Gower, Timothy ...
CAISE
2005
Springer
16 years 4 days ago
Patterns and metamodel for a natural-language-based requirements specification language
Abstract. Software requirements engineering is an essential activity for the successful development of information systems. Requirements can be specified using different techniques...
Carlos Videira, Alberto Rodrigues da Silva