Sciweavers

11909 search results - page 2270 / 2382
» The Scheme Programming Language
Sort
View
IGARSS
2010
13 years 3 months ago
Hands-on GPS and remote sensing training for high school learners during IGARSS 2009 in Cape Town, South Africa
Continuing the commitment of the Geoscience and Remote Sensing Society (GRSS) to education and outreach, the IEEE 2009 International Geoscience and Remote Sensing Symposium (IGARSS...
Linda Hayden, Ambrose Jearld, Je'aime Powell, Kuch...
IGARSS
2010
13 years 3 months ago
Modeling and measurement of optical polarimetric image phenomenology in a complex urban environment
Polarimetric scene phenomenology yields a remote sensing modality that can be used in tandem with or alternative to panchromatic, multispectral, hyperspectral, or infrared intensi...
Michael D. Presnar, John P. Kerekes
LOGCOM
2010
120views more  LOGCOM 2010»
13 years 3 months ago
Paraconsistent Machines and their Relation to Quantum Computing
We describe a method to axiomatize computations in deterministic Turing machines (TMs). When applied to computations in non-deterministic TMs, this method may produce contradictor...
Juan C. Agudelo, Walter Alexandre Carnielli
LOGCOM
2010
128views more  LOGCOM 2010»
13 years 3 months ago
Comparing LTL Semantics for Runtime Verification
When monitoring a system wrt. a property defined in a temporal logic such as LTL, a major concern is to settle with an adequate interpretation of observable system events; that is,...
Andreas Bauer 0002, Martin Leucker, Christian Scha...
LRE
2010
145views more  LRE 2010»
13 years 3 months ago
Annotation of multiword expressions in the Prague dependency treebank
In this article we want to demonstrate that annotation of multiword expressions in the Prague Dependency Treebank is a well defined task, that it is useful as well as feasible, an...
Eduard Bejcek, Pavel Stranák
« Prev « First page 2270 / 2382 Last » Next »