Sciweavers

3804 search results - page 203 / 761
» From Here to There
Sort
View
DNA
2004
Springer
15 years 12 months ago
Parallelism in Gene Assembly
The process of gene assembly in ciliates, an ancient group of organisms, is one of the most complex instances of DNA manipulation known in any organisms. This process is fascinatin...
Tero Harju, Chang Li, Ion Petre, Grzegorz Rozenber...
ECAI
2004
Springer
15 years 12 months ago
Qualitative Reasoning Feeding Back into Quantitative Model-Based Tracking
Tracking vehicles in image sequences of innercity road traffic scenes still constitutes a challenging task. Even if a-priori knowledge about the 3D shape of vehicles, of backgroun...
Christian Köhler, Artur Ottlik, Hans-Hellmut ...
ECAI
2004
Springer
15 years 12 months ago
Topological Visual Localization Using Decentralized Galois Lattices
Abstract. This paper presents a new decentralized method for selecting visual landmarks in a structured environment. Different images, issued from the different places, are analyze...
Emmanuel Zenou, Malik Ghallab, Manuel Samuelides
ICARIS
2004
Springer
15 years 12 months ago
Immune System Approaches to Intrusion Detection - A Review
The use of artificial immune systems in intrusion detection is an appealing concept for two reasons. Firstly, the human immune system provides the human body with a high level of ...
Uwe Aickelin, Julie Greensmith, Jamie Twycross
IFIP
2004
Springer
15 years 12 months ago
Formal Analysis of a Fair Payment Protocol
We formally specify a payment protocol described in [Vogt et al., 2001]. This protocol is intended for fair exchange of time-sensitive data. Here the µCRL language is used to form...
Jan Cederquist, Muhammad Torabi Dashti