|
|
Venues (Conferences, Journals, ...)
|
|
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 |
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 |
|
Displaying result #1 - #69 of 69 (100 per page; Change: )
|
|