The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for LTSA with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1999-2005 (22) 2006-2007 (17) 2008-2009 (15) 2011-2023 (15)
Publication types (Num. hits)
article(20) incollection(1) inproceedings(48)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 65 occurrences of 47 keywords

Results
Found 69 publication records. Showing 69 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
78Xiaoming Liu 0004, Jianwei Yin, Zhilin Feng, Jinxiang Dong Incremental Manifold Learning Via Tangent Space Alignment. Search on Bibsonomy ANNPR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF incremental learning, manifold learning, LASSO, LTSA
67Li Teng, Hongyu Li, Xuping Fu, Wenbin Chen 0006, I-Fan Shen Dimension reduction of microarray data based on local tangent space alignment. Search on Bibsonomy IEEE ICCI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
51Jianwei Yin, Xiaoming Liu 0004, Zhilin Feng, Jinxiang Dong A Local Tangent Space Alignment Based Transductive Classification Algorithm. Search on Bibsonomy ANNPR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF local tangent space alignment, LDA/QR, manifold learning, transductive inference
51Hongyu Li, Wenbin Chen 0006, I-Fan Shen Supervised Learning for Classification. Search on Bibsonomy FSKD (2) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
51Andrew J. Bennett, A. J. Field, C. Murray Woodside Experimental Evaluation of the UML Profile for Schedulability, Performance, and Time. Search on Bibsonomy UML The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
44Jianbin Tan, George S. Avrunin, Lori A. Clarke Managing space for finite-state verification. Search on Bibsonomy ICSE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF FLAVERS, ZDD, BDD, finite-state verification, LTSA
44Barbara Staudt Lerner Verifying process models built using parameterized state machines. Search on Bibsonomy ISSTA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Little-JIL, SMC, finite state machine, software process, work flow, LTSA
44Sebastián Uchitel, Jeff Kramer, Jeff Magee Detecting implied scenarios in message sequence chart specifications. Search on Bibsonomy ESEC / SIGSOFT FSE The full citation details ... 2001 DBLP  DOI  BibTeX  RDF FSP, implementability, synthesis, labelled transition systems, message sequence charts, LTSA
34Emmanuel Letier, Jeff Kramer, Jeff Magee, Sebastián Uchitel Deriving event-based transition systems from goal-oriented requirements models. Search on Bibsonomy Autom. Softw. Eng. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Requirements animation, Requirements analysis, Labelled transition systems, Goal-oriented requirements engineering, Method integration
34Howard Foster WS-Engineer 2008. Search on Bibsonomy ICSOC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
34Stephan Repp, Christoph Meinel Segmentation of Lecture Videos Based on Spontaneous Speech Recognition. Search on Bibsonomy ISM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
34Gelan Yang, Xue Xu, Jianming Zhang 0003 Manifold Alignment via Local Tangent Space Alignment. Search on Bibsonomy CSSE (1) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
34Akira Hirose An adaptive ground penetrating radar imaging system based on complex-valued self-organizing map - recent progress and experiments in Cambodia -. Search on Bibsonomy IJCNN The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
34Hui Liu, Xun Luo, Yingwei Yao Two manifold learning techniques for sensor localization. Search on Bibsonomy SMC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
34Gwen Salaün, Jeff Kramer, Frédéric Lang, Jeff Magee Translating FSP into LOTOS and Networks of Automata. Search on Bibsonomy IFM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
34Hongyu Li, Li Teng, Wenbin Chen 0006, I-Fan Shen Supervised Learning on Local Tangent Space. Search on Bibsonomy ISNN (1) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
34Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer Leveraging Eclipse for integrated model-based engineering of web service compositions. Search on Bibsonomy eTX The full citation details ... 2005 DBLP  DOI  BibTeX  RDF web service choreography, web service composition and orchestration, model checking, verification, standards, validation, implementation, service design, Eclipse plug-in
34Claus Pahl, Ronan Barrett A web services architecture for learning object discovery and assembly. Search on Bibsonomy WWW (Alternate Track Papers & Posters) The full citation details ... 2004 DBLP  DOI  BibTeX  RDF interface descriptions, teaching and learning environments, web services, architecture, metadata, discovery, assembly
30Yanis Djebra, Thibault Marin, Paul K. Han, Isabelle Bloch, Georges El Fakhri, Chao Ma 0018 Manifold Learning via Linear Tangent Space Alignment (LTSA) for Accelerated Dynamic MRI With Sparse Sampling. Search on Bibsonomy IEEE Trans. Medical Imaging The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
30Rongchang Liu, Rui Guo, Naihao Liu, Guangya Zhu, Xingfang Liu, Chaozhong Ning, Ganlin Hua Multifrequency Analysis via LTSA and Its Application on Carbonate Reservoir Delineation. Search on Bibsonomy IEEE Geosci. Remote. Sens. Lett. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
30Zhuqing Wang, Ning Liu, Yangming Guo Adaptive sliding window LSTM NN based RUL prediction for lithium-ion batteries integrating LTSA feature reconstruction. Search on Bibsonomy Neurocomputing The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
30Jingshu Wang, Qiang Cao, Jinghua Ma, Bin Xing Vibration Status Monitoring of Machine Center Based on EMD and LTSA. Search on Bibsonomy CSAE The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
30Xinghua Zheng, Zhengming Ma, Hangjian Che, Lei Li HSIC Regularized LTSA. Search on Bibsonomy Comput. Informatics The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
30Sumin Zhang, Zhengming Ma, Hengliang Tan On the Equivalence of HLLE and LTSA. Search on Bibsonomy IEEE Trans. Cybern. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
30Yilong Yang 0001, Xiaoshan Li, Quan Zu Real-time System Modeling and Verification through Labeled Transition System Analyser (LTSA). Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
30Souvik Sengupta 0001, Ranjan Dasgupta Architectural design of a LMS with LTSA-conformance. Search on Bibsonomy Educ. Inf. Technol. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
30Souvik Sengupta 0001, Ranjan Dasgupta LTSA conformance testing to architectural design of LMS using ontology. Search on Bibsonomy Educ. Inf. Technol. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
30Chao Tan, Jihong Guan, Shuigeng Zhou IKLTSA: An Incremental Kernel LTSA Method. Search on Bibsonomy MLDM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
30Weiwei Sun, Avner Halevy, John J. Benedetto, Wojciech Czaja, Weiyue Li, Chun Liu 0003, Beiqi Shi, Rongrong Wang Nonlinear Dimensionality Reduction via the ENH-LTSA Method for Hyperspectral Image Classification. Search on Bibsonomy IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
30Pedro Rodrigues, Emil Lupu, Jeff Kramer LTSA-PCA: tool support for compositional reliability analysis. Search on Bibsonomy ICSE Companion The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
30Souvik Sengupta 0001, Saurabh Pal, Nilanjan Banerjee A comparison algorithm to check LTSA Layer 1 and SCORM compliance in e-Learning sites Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
30Hongyu Li 0001, Junyu Niu, Lin Zhang 0014, Bo Hu Spatio-temporal LTSA and Its Application to Motion Decomposition. Search on Bibsonomy ICONIP (5) The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
30Shiming Xiang, Feiping Nie 0001, Chunhong Pan, Changshui Zhang Regression Reformulations of LLE and LTSA With Locally Linear Transformation. Search on Bibsonomy IEEE Trans. Syst. Man Cybern. Part B The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
30Soichi Masuyama, Kenzo Yasuda, Akira Hirose Multiple-Mode Selection of Walled-LTSA Array Elements for High-Resolution Imaging to Visualize Antipersonnel Plastic Landmines. Search on Bibsonomy IEEE Geosci. Remote. Sens. Lett. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
30Soichi Masuyama, Akira Hirose Walled LTSA Array for Rapid, High Spatial Resolution, and Phase-Sensitive Imaging to Visualize Plastic Landmines. Search on Bibsonomy IEEE Trans. Geosci. Remote. Sens. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
30Genaína Nunes Rodrigues, David S. Rosenblum, Jonas Wolf Reliability Analysis of Concurrent Systems Using LTSA. Search on Bibsonomy ICSE Companion The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
30Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer LTSA-WS: a tool for model-based verification of web service compositions and choreography. Search on Bibsonomy ICSE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF model-checking, web service compositions, choreography, BPEL4WS, WS-CDL
30Hyunjong Choe, Taeyoung Kim An Enhanced LTSA Model Providing Contextual Knowledge for Intelligent e-Learning Systems. Search on Bibsonomy J. Inf. Sci. Eng. The full citation details ... 2005 DBLP  BibTeX  RDF
30Mairtin O'Droma, Ivan Ganchev, Fergal McDonnell Architectural and functional design and evaluation of e-learning VUIS based on the proposed IEEE LTSA reference model. Search on Bibsonomy Internet High. Educ. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
30Sebastián Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee LTSA-MSC: Tool Support for Behaviour Model Elaboration Using Implied Scenarios. Search on Bibsonomy TACAS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
30Jeff Magee Behavioral Analysis of Software Architectures Using LTSA. Search on Bibsonomy ICSE The full citation details ... 1999 DBLP  DOI  BibTeX  RDF software architecture, behavior analysis
27Sebastián Uchitel, Jeff Kramer, Jeff Magee Incremental elaboration of scenario-based specifications and behavior models using implied scenarios. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF implied scenarios, negative scenarios, MSC, LTSA
27João Paulo Barros Specific proposals for the use of petri nets in a concurrent programming course. Search on Bibsonomy ITiCSE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF FSP, process algebra, state machines, introductory course, LTSA
17Yuexian Hou, Peng Zhang 0002, Xingxing Xu, Xiaowei Zhang, Wenjie Li 0002 Nonlinear Dimensionality Reduction by Locally Linear Inlaying. Search on Bibsonomy IEEE Trans. Neural Networks The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
17Yu-Fang Chen 0001, Azadeh Farzan, Edmund M. Clarke, Yih-Kuen Tsay, Bow-Yaw Wang Learning Minimal Separating DFA's for Compositional Verification. Search on Bibsonomy TACAS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
17Ivano Malavolta, Henry Muccini, Patrizio Pelliccione Integrating AADL within a Multi-domain Modeling Framework. Search on Bibsonomy ICECCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
17Jamieson M. Cobleigh, George S. Avrunin, Lori A. Clarke Breaking up is hard to do: An evaluation of automated assume-guarantee reasoning. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Assume-guarantee reasoning
17Saveria Mazzara, Antonio Conti, Stefano Olivieri, Sandro Iannaccone, Massimo Alessio, Sergio Cerutti, Linda Pattini Evaluation of two-dimensional gel electrophoresis maps by local tangent space alignment: An application to neuroproteomics. Search on Bibsonomy BIBE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
17Zhenyue Zhang, Hongyuan Zha, Min Zhang Spectral methods for semi-supervised manifold learning. Search on Bibsonomy CVPR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
17Junwei Du, Zhongwei Xu, Meng Mei Verification of Scenario-Based Safety Requirement Specification on Components Composition. Search on Bibsonomy CSSE (2) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
17Ioan Salomie, Viorica R. Chifu, Ioana Harsa Towards automated web service composition with fluent calculus and domain ontologies. Search on Bibsonomy iiWAS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF fluent calculus, fluent calculus based planning, ontologies, web service composition
17H. Foster Service Compositions: From Models to Self-Management. Search on Bibsonomy EDOC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
17Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer WS-Engineer: A Model-Based Approach to Engineering Web Service Compositions and Choreography. Search on Bibsonomy Test and Analysis of Web Services The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
17Dianxiang Xu, Izzat Alsmadi, Weifeng Xu Model Checking Aspect-Oriented Design Specification. Search on Bibsonomy COMPSAC (1) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
17Sachoun Park, Gihwon Kwon SAT based Verification Tool for Labeled Transition System. Search on Bibsonomy SERA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Formal Verification, Labeled Transition System, Bounded Model checking, Linear Temporal Logic
17Shinichi Honiden, Yasuyuki Tahara, Nobukazu Yoshioka, Kenji Taguchi 0001, Hironori Washizaki Top SE: Educating Superarchitects Who Can Apply Software Engineering Tools to Practical Development in Japan. Search on Bibsonomy ICSE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
17Rubén Peredo Valderrama, Leandro Balladares Ocaña, Iván Peredo A Semantic Web Application to Automate the Construction of Didactic Material for Web-Based Education System. Search on Bibsonomy WISE Workshops The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
17Rémi Douence, Didier Le Botlan, Jacques Noyé, Mario Südholt Concurrent aspects. Search on Bibsonomy GPCE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Java, concurrency, formal verification, aspect-oriented programming, implementation
17Jeff Kramer Component-Based Modeling, Analysis and Animation. Search on Bibsonomy CCGRID The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
17Jamieson M. Cobleigh, George S. Avrunin, Lori A. Clarke Breaking up is hard to do: an investigation of decomposition for assume-guarantee reasoning. Search on Bibsonomy ISSTA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF assume-guarantee reasoning
17Xin Yang, Haoying Fu, Hongyuan Zha, Jesse L. Barlow Semi-supervised nonlinear dimensionality reduction. Search on Bibsonomy ICML The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
17Dimitra Giannakopoulou, Corina S. Pasareanu, Howard Barringer Component Verification with Automatically Generated Assumptions. Search on Bibsonomy Autom. Softw. Eng. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF component verification, model checking, assume-guarantee reasoning
17Alban Rasse, Jean-Marc Perronne, Pierre-Alain Muller, Bernard Thirion Using Process Algebra to Validate Behavioral Aspects of Object-Oriented Models. Search on Bibsonomy MoDELS (Satellite Events) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
17Su-Jin Cho, Seongsoo Lee MOLEAS: Information Technology-Based Educational Software Framework. Search on Bibsonomy KES (2) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
17Su-Jin Cho, Seongsoo Lee A Module-Based Software Framework for E-learning over Internet Environment. Search on Bibsonomy Intelligent Tutoring Systems The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
17Dimitra Giannakopoulou, Jeff Magee Fluent model checking for event-based systems. Search on Bibsonomy ESEC / SIGSOFT FSE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF model-checking, linear temporal logic, software architecture analysis
17Jeff Kramer, Jeff Magee, Sebastián Uchitel Software Architecture Modeling & Analysis: A Rigorous Approach. Search on Bibsonomy SFM The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
17Jamieson M. Cobleigh, Dimitra Giannakopoulou, Corina S. Pasareanu Learning Assumptions for Compositional Verification. Search on Bibsonomy TACAS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
17Dimitra Giannakopoulou, Corina S. Pasareanu, Howard Barringer Assumption Generation for Software Component Verification. Search on Bibsonomy ASE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #69 of 69 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license