Sciweavers

41472 search results - page 109 / 8295

» it 2006

100

FUIN
2006

80views more FUIN 2006»

Update and Abstraction in Model Checking of Knowledge and Branching Time

15 years 4 months ago

Update and Abstraction in Model Checking of Knowledge and Branching Time

Download pllab.kaist.ac.kr

Nikolay V. Shilov, Natalya Olegovna Garanina, K.-M...

claim paper

Read More »

96

FUIN
2006

64views more FUIN 2006»

Foundations on Coordination Languages and Software Architectures

15 years 4 months ago

Foundations on Coordination Languages and Software Architectures

Download www.mimuw.edu.pl

Antonio Brogi, Jean-Marie Jacquet, Joost N. Kok

claim paper

Read More »

78

FUIN
2006

79views more FUIN 2006»

Automata Recognizing No Words: A Statistical Approach

15 years 4 months ago

Automata Recognizing No Words: A Statistical Approach

Download www.cs.auckland.ac.nz

Cristian S. Calude, Cezar Câmpeanu, Monica D...

claim paper

Read More »

87

GEOINFORMATICA
2006

90views more GEOINFORMATICA 2006»

Multi-VMap: A Multi-Scale Model for Vector Maps

15 years 4 months ago

Multi-VMap: A Multi-Scale Model for Vector Maps

Download www2.uah.es

Raquel Viaña, Paola Magillo, Enrico Puppo, ...

claim paper

Read More »

93

Voted

GEOINFORMATICA
2006

74views more GEOINFORMATICA 2006»

Automatically Conflating Road Vector Data with Orthoimagery

15 years 4 months ago

Automatically Conflating Road Vector Data with Orthoimagery

Download www.isi.edu

Ching-Chien Chen, Craig A. Knoblock, Cyrus Shahabi

claim paper

Read More »

« Prev « First page 109 / 8295 Last » Next »