Search results for "LTSA"

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