Sciweavers

1867 search results - page 99 / 374
» Math-Net, a model for information and communication systems ...
Sort
View
PTS
2007
112views Hardware» more  PTS 2007»
13 years 10 months ago
Symbolic Model Based Testing for Component Oriented Systems
In a component oriented approach, components are designed, developed and validated in order to be widely used. However one cannot always foresee which specific uses will be made o...
Alain Faivre, Christophe Gaston, Pascale Le Gall
GI
1998
Springer
14 years 1 months ago
Workshop: Multimedia-Systeme
The IMB Jena Image Library of Biological Macromolecules (http://www.imb-jena.de/IMAGE.html) is a freely accessible Internet archive with three-dimensional (3D) structural informat...
Hans-Jürgen Appelrath, Klaus Meyer-Wegener
ICC
2007
IEEE
123views Communications» more  ICC 2007»
14 years 3 months ago
Cross-Layer Optimization With Model-Based Parameter Exchange
— Cross-layer optimization (CLO) promises significant gains in comparison to a conventional system design, which does not allow for information exchange across layers. One of th...
Andreas Saul, Shoaib Khan, Gunther Auer, Wolfgang ...
IJFCS
2006
106views more  IJFCS 2006»
13 years 8 months ago
A Timed Failure Equivalence Preserving Abstraction for Parametric Time-interval Automata
ion for Parametric Time-Interval Automata Akio Nakata, Tadaaki Tanimoto, Suguru Sasaki, Teruo Higashino Department of Information Networking, Graduate School of Information Science...
Akio Nakata, Tadaaki Tanimoto, Suguru Sasaki, Teru...
ECIR
2009
Springer
14 years 6 months ago
Revisiting N-Gram Based Models for Retrieval in Degraded Large Collections
The traditional retrieval models based on term matching are not effective in collections of degraded documents (output of OCR or ASR systems for instance). This paper presents a n...
Javier Parapar, Ana Freire, Alvaro Barreiro