56 papers:
DATE-2015-HoqueMS #analysis #approach #maintenance #model checking #probability #reliability #towards- Towards an accurate reliability, availability and maintainability analysis approach for satellite systems based on probabilistic model checking (KAH, OAM, YS), pp. 1635–1640.
HIMI-DE-2014-TavaresB #interactive #user interface #visualisation- A Step Beyond Visualization: Applying User Interface Techniques to Improve Satellite Data Interaction (TAT, HB), pp. 98–107.
ICEIS-v1-2014-AmaralCRGTS #approach #data mining #framework #image #mining- The SITSMining Framework — A Data Mining Approach for Satellite Image Time Series (BFA, DYTC, LASR, RRdVG, AJMT, EPMdS), pp. 225–232.
ICPR-2014-RebetezTC #adaptation #correlation #image- Network-Based Correlated Correspondence for Unsupervised Domain Adaptation of Hyperspectral Satellite Images (JR, DT, NC), pp. 3921–3926.
ICMT-2014-HermannGNEBMPEE #graph grammar #in the large- Triple Graph Grammars in the Large for Translating Satellite Procedures (FH, SG, NN, HE, BB, GM, AP, TE, CE), pp. 122–137.
KDIR-KMIS-2013-FerchichiBF #adaptation #approach #image #predict- An Approach based on Adaptive Decision Tree for Land Cover Change Prediction in Satellite Images (AF, WB, IRF), pp. 82–90.
MLDM-2013-DittakanCC #case study #comparative #image #mining- Satellite Image Mining for Census Collection: A Comparative Study with Respect to the Ethiopian Hinterland (KD, FC, RC), pp. 260–274.
- ICMT-2013-HermannGNBMPE #automation #graph grammar #on the #using
- On an Automated Translation of Satellite Procedures Using Triple Graph Grammars (FH, SG, NN, BB, GM, AP, TE), pp. 50–51.
FM-2012-JohnsonGMDE #case study #hybrid #verification- Satellite Rendezvous and Conjunction Avoidance: Case Studies in Verification of Nonlinear Hybrid Systems (TTJ, JG, SM, RD, RSE), pp. 252–266.
ICML-2012-HartikainenSS #modelling #predict- State-Space Inference for Non-Linear Latent Force Models with Application to Satellite Orbit Prediction (JH, MS, SS), p. 96.
- ICPR-2012-SenletE #image #segmentation
- Segmentation of occluded sidewalks in satellite images (TS, AME), pp. 805–808.
SAC-2012-BoulilaEFS #adaptation #approach #database #image #predict- High level adaptive fusion approach: application to land cover change prediction in satellite image databases (WB, KSE, IRF, BS), pp. 21–22.
ICSE-2012-EsteveKNPY #analysis #correctness #dependence #performance #safety- Formal correctness, safety, dependability, and performance analysis of a satellite (MAE, JPK, VYN, BP, YY), pp. 1022–1031.
CHI-2010-VenoliaTCBRLI #social- Embodied social proxy: mediating interpersonal connection in hub-and-satellite teams (GV, JCT, RC, SB, GGR, BL, KI), pp. 1049–1058.
- ICEIS-AIDSS-2010-SahaPMB #classification #clustering #difference #image #using
- Improvement of Differential Crisp Clustering using ANN Classifier for Unsupervised Pixel Classification of Satellite Image (IS, DP, UM, SB), pp. 21–29.
- ICPR-2010-HuotHMP #physics
- Estimating Apparent Motion on Satellite Acquisitions with a Physical Dynamic Model (EGH, IH, NM, EP), pp. 41–44.
- ICPR-2010-OzcanliM #recognition
- Vehicle Recognition as Changes in Satellite Imagery (ÖCÖ, JLM), pp. 3336–3339.
- ICPR-2010-TekeT #image #multi #strict #using
- Multi-spectral Satellite Image Registration Using Scale-Restricted SURF (MT, AT), pp. 2310–2313.
- KDIR-2010-JunGRO #image #predict #process
- Predicting Ground-based Aerosol Optical Depth with Satellite Images Via Gaussian Processes (GJ, JG, VR, ZO), pp. 370–375.
- MLDM-2009-XiongBS #detection
- A Wavelet-Based Method for Detecting Seismic Anomalies in Remote Sensing Satellite Data (PX, YB, XS), pp. 569–581.
SOSP-2009-NightingaleHMHH #kernel #multi #named- Helios: heterogeneous multiprocessing with satellite kernels (EBN, OH, RM, CH, GCH), pp. 221–234.
- ICEIS-AIDSS-2008-Nair #image #multi #pattern matching #pattern recognition #recognition #summary
- An Enhanced System for Pattern Recognition and Summarisation of Multi-Band Satellite Images (HN), pp. 5–10.
- ICPR-2008-Kita #case study #detection #image #using
- A study of change detection from satellite images using joint intensity histogram (YK), pp. 1–4.
- ICPR-2008-LuoHMJY #image
- Recognizing picture-taking environment from satellite images: A feasibility study (JL, WH, DM, DJ, JY), pp. 1–4.
KDD-2008-HoT #automation #multi #using- Automated cyclone discovery and tracking using knowledge sharing in multiple heterogeneous satellite data (SSH, AT), pp. 928–936.
MoDELS-2008-ObataI #modelling #validation- General Mode Controller for Software on Artificial Satellite with Model-Based Validation Tool (TO, TI), pp. 889–895.
- MoDELS-2008-ObataI #modelling #validation
- General Mode Controller for Software on Artificial Satellite with Model-Based Validation Tool (TO, TI), pp. 889–895.
- SAC-2008-KucinskisF #information management #representation
- An onboard knowledge representation tool for satellite autonomous applications (FdNK, MGVF), pp. 1678–1682.
- SAC-2008-ShiguemoriVS #approach #network #retrieval
- Atmospheric temperature retrieval from satellite data: new non-extensive artificial neural network approach (EHS, HFdCV, JDSdS), pp. 1688–1692.
ITiCSE-2006-YoungM #experience- Aluminum foil satellite dishes and a millennium of experience: sustainability in the high Andes (AY, LM), p. 2.
- ICEIS-AIDSS-2006-Nair #development #image #multi #summary
- Development of Summaries of Certain Patterns in Multi-Band Satellite Images (HN), pp. 278–284.
- ICPR-v2-2006-LiLWH #detection #framework #image #novel #using
- A Novel Framework for Urban Change Detection Using VHR Satellite Images (WL, XL, YW, ZH), pp. 312–315.
- ICPR-v2-2006-ZhangC #classification #locality
- Comparing Different Localization Approaches of the Radon Transform for Road Centerline Extraction from Classified Satellite Imagery (QZ, IC), pp. 138–141.
WICSA-2005-SantosC #approach #architecture #multi- An MDA Approach for a Multi-Layered Satellite On-Board Software Architecture (WADS, AMdC), pp. 253–256.
- MLDM-2005-HanCY #analysis #component #feature model #image #independence #using
- Aquaculture Feature Extraction from Satellite Image Using Independent Component Analysis (JGH, KHC, YKY), pp. 660–666.
- ICPR-v2-2004-UnslanB #development #graph #metric
- A Theoretical and Experimental Investigation of Graph Theoretical Measures for Land Development in Satellite Imagery (CÜ, KLB), pp. 64–67.
- ICPR-v3-2004-UnsalanB #detection #image #multi #network
- A System to Detect Houses and Residential Street Networks in Multispectral Satellite Images (CÜ, KLB), pp. 49–52.
TestCom-2004-MaggiorePKPG #experience #testing- Soip Over Satellite Testing — TIM Experience (GM, LP, GDK, FP, BRG), pp. 112–127.
DAC-2002-KangSC #power management #synthesis- An optimal voltage synthesis technique for a power-efficient satellite application (DIK, JS, SPC), pp. 492–497.
- ICPR-v1-2002-UnsalanB #development #image #statistics #using
- Classifying Land Development in High Resolution Satellite Images Using Straight Line Statistics (CÜ, KLB), pp. 127–130.
- ICPR-v3-2002-GrazziniTY #estimation #image #multi
- Entropy Estimation and Multiscale Processing in Meteorological Satellite Images (JG, AT, HMY), p. 764–?.
- SAC-2002-HexmoorV
- Computational adjustable autonomy for NASA Personal Satellite Assistants (HH, JTV), pp. 21–26.
- ICPR-v2-2000-YaoHGM #image
- Finding Green River in SeaWiFS Satellite Images (WY, LOH, DBG, FEMK), pp. 2307–2310.
- ICPR-v3-2000-JalobeanuBZ #adaptation #estimation #image #parametricity
- Estimation of Adaptive Parameters for Satellite Image Deconvolution (AJ, LBF, JZ), pp. 3322–3325.
- ICPR-v4-2000-Duta #detection #image
- Road Detection in Panchromatic SPOT Satellite Images (ND), pp. 4308–4311.
UML-1998-BourdeauLR #analysis #case study #diagrams #experience #uml- Hierarchical Context Diagrams with UML: An Experience Report on Satellite Ground System Analysis (EB, PL, PR), pp. 227–239.
TRI-Ada-1996-Gramp #architecture #communication #comparison #mobile- A Comparison of Different Tasking Architectures Used in Mobile Satellite Communication Ground Station Software (KJG), pp. 23–28.
- ICPR-1996-MukherjeePCCK #algorithm #detection #image #performance
- An efficient algorithm for detection of road-like structures in satellite images (AM, SKP, DC, BBC, RK), pp. 875–879.
AdaEurope-1994-FrancolaM #realtime #validation- Test Philosophy and Validation Strategy of On-Board Real Time Software in Envisat-1 Satellite Radar-Altimeter (SF, MM), pp. 270–281.
- TRI-Ada-1994-Hines #communication #design #object-oriented
- An Object-Oriented System Design for a Satellite Communication System (KMH), pp. 494–498.
- SAC-1994-LogarCWWW #algorithm #image #recognition
- A don’t care back propagation algorithm applied to satellite image recognition (AML, EMC, SW, RW, RW), pp. 369–373.
TOOLS-EUROPE-1993-DecooninckNJ #modelling #object-oriented #using- Satellite Modeling Using Object-Oriented Technologies (ASD, PN, FJ), pp. 19–30.
- TOOLS-EUROPE-1992-Assis-ArantesBLRRSC #paradigm
- Application of the Object Paradigm in Satellite Checkout and Payload Operations (PAA, EB, GL, TR, JR, RS, NC), pp. 311–323.
- DAC-1979-Meyer #interactive #low cost #performance
- A low cost satellite for fast interactive graphics in a time-sharing environment (BM), pp. 39–44.
- DAC-1976-LeeR #finite #generative
- Finite element mesh generation employing satellite graphics (SKL, WSR), pp. 1–6.
- DAC-1967-RossST #design #interface #multi #programming
- The design and programming of a display interface system integrating multi-access and satellite computers (DTR, RHS, DET).
