Sciweavers

2519 search results - page 220 / 504
» cost 2007
Sort
View
B
2007
Springer
16 years 24 days ago
A Generic Flash-Based Animation Engine for ProB
Abstract. Writing a formal specification for real-life, industrial problems is a difficult and error prone task, even for experts in formal methods. In the process of specifying a...
Jens Bendisposto, Michael Leuschel
BIOSURVEILLANCE
2007
Springer
16 years 24 days ago
High Performance Computing for Disease Surveillance
Abstract. The global health, threatened by emerging infectious diseases, pandemic influenza, and biological warfare, is becoming increasingly dependent on the rapid acquisition, p...
David W. Bauer, Brandon W. Higgs, Mojdeh Mohtashem...
BIOWIRE
2007
Springer
16 years 24 days ago
The Topological Fortress of Termites
Abstract. Termites are known for building some of the most elaborate architectures observed in the animal world. We here analyse some topological properties of three dimensional ne...
Andrea Perna, Christian Jost, Sergi Valverde, Jacq...
CHES
2007
Springer
110views Cryptology» more  CHES 2007»
16 years 24 days ago
RFID Noisy Reader How to Prevent from Eavesdropping on the Communication?
RFID applications do not always use encryption to ensure the security as public key cryptographic algorithms that are costly in term of computing resources. We proposed to secure t...
O. Savry, F. Pebay-Peyroula, F. Dehmas, G. Robert,...
CICLING
2007
Springer
16 years 24 days ago
A Competitive Term Selection Method for Information Retrieval
Term selection process is a very necessary component for most natural language processing tasks. Although different unsupervised techniques have been proposed, the best results ar...
Franco Rojas López, Héctor Jim&eacut...