Sciweavers

1155 search results - page 192 / 231
» Elaborating Domain Descriptions
Sort
View
ENTCS
2006
109views more  ENTCS 2006»
13 years 10 months ago
An Overview of MANETs Simulation
Mobile Ad hoc NETworks (MANETs) are dynamic networks populated by mobile stations. Stations in MANETs are usually laptops, PDAs or mobile phones. These devices feature Bluetooth a...
Luc Hogie, Pascal Bouvry, Frédéric G...
ENTCS
2006
109views more  ENTCS 2006»
13 years 10 months ago
Incremental Verification for On-the-Fly Controller Synthesis
The CIRCA system automatically synthesizes hard real-time discrete event controllers from plant and environment descriptions. CIRCA's automatically-synthesized controllers pr...
David J. Musliner, Michael J. S. Pelican, Robert P...
IDA
2006
Springer
13 years 10 months ago
Supporting bi-cluster interpretation in 0/1 data by means of local patterns
Clustering or co-clustering techniques have been proved useful in many application domains. A weakness of these techniques remains the poor support for grouping characterization. ...
Ruggero G. Pensa, Céline Robardet, Jean-Fra...
JASIS
2008
117views more  JASIS 2008»
13 years 10 months ago
Blind men and elephants: What do citation summaries tell us about a research article?
The old Asian legend about the blind men and the elephant comes to mind when looking at how different authors of scientific papers describe a piece of related prior work. It turns...
Aaron Elkiss, Siwei Shen, Anthony Fader, Güne...
CORR
2007
Springer
126views Education» more  CORR 2007»
13 years 10 months ago
Information Criteria and Arithmetic Codings : An Illustration on Raw Images
In this paper we give a short theoretical description of the general predictive adaptive arithmetic coding technique. The links between this technique and the works of J. Rissanen...
Guilhem Coq, Olivier Alata, Marc Arnaudon, Christi...