Sciweavers

41472 search results - page 109 / 8295
» or 2006
Sort
View
FUIN
2006
80views more  FUIN 2006»
13 years 9 months ago
Update and Abstraction in Model Checking of Knowledge and Branching Time
Nikolay V. Shilov, Natalya Olegovna Garanina, K.-M...
FUIN
2006
64views more  FUIN 2006»
13 years 9 months ago
Foundations on Coordination Languages and Software Architectures
Antonio Brogi, Jean-Marie Jacquet, Joost N. Kok
FUIN
2006
79views more  FUIN 2006»
13 years 9 months ago
Automata Recognizing No Words: A Statistical Approach
Cristian S. Calude, Cezar Câmpeanu, Monica D...
GEOINFORMATICA
2006
90views more  GEOINFORMATICA 2006»
13 years 9 months ago
Multi-VMap: A Multi-Scale Model for Vector Maps
Raquel Viaña, Paola Magillo, Enrico Puppo, ...
GEOINFORMATICA
2006
74views more  GEOINFORMATICA 2006»
13 years 9 months ago
Automatically Conflating Road Vector Data with Orthoimagery
Ching-Chien Chen, Craig A. Knoblock, Cyrus Shahabi