Sciweavers

5510 search results - page 261 / 1102
» Mathematics
Sort
View
TAPIA
2003
ACM
15 years 11 months ago
A new infeasible interior-point algorithm for linear programming
In this paper we present an infeasible path-following interiorpoint algorithm for solving linear programs using a relaxed notion of the central path, called quasicentral path, as ...
Miguel Argáez, Leticia Velázquez
AVBPA
2003
Springer
126views Biometrics» more  AVBPA 2003»
15 years 11 months ago
Predicting Large Population Data Cumulative Match Characteristic Performance from Small Population Data
Given a biometric feature-space, in this paper we present a method to predict cumulative match characteristic (CMC) curve performance for a large population of individuals using a ...
Amos Y. Johnson, Jie Sun, Aaron F. Bobick
CHARME
2003
Springer
129views Hardware» more  CHARME 2003»
15 years 11 months ago
On the Correctness of an Intrusion-Tolerant Group Communication Protocol
Intrusion-tolerance is the technique of using fault-tolerance to achieve security properties. Assuming that faults, both benign and Byzantine, are unavoidable, the main goal of Int...
Mohamed Layouni, Jozef Hooman, Sofiène Taha...
ECAL
2003
Springer
15 years 11 months ago
First Steps in Evolving Path Integration in Simulation
Abstract. Path integration is a widely used method of navigation in nature whereby an animal continuously tracks its location by integrating its motion over the course of a journey...
Robert Vickerstaff
FOSSACS
2003
Springer
15 years 11 months ago
Categories of Containers
We introduce the notion of containers as a mathematical formalisation of the idea that many important datatypes consist of templates where data is stored. We show that containers h...
Michael Abbott, Thorsten Altenkirch, Neil Ghani