Search results for "CTT"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
73	Rémi Bastide	An Integration of Task and Use-Case Meta-models.	HCI (1)	2009	DBLP DOI BibTeX RDF
73	Iman Poernomo	Proofs-as-Model-Transformations.	ICMT@TOOLS	2008	DBLP DOI BibTeX RDF
73	Gualtiero Piccinini	Computationalism, The Church-Turing Thesis, and the Church-Turing Fallacy.	Synth.	2007	DBLP DOI BibTeX RDF
73	Duarte Costa, Leonel Nóbrega, Nuno Jardim Nunes	An MDA Approach for Generating Web Interfaces with UML ConcurTaskTrees and Canonical Abstract Prototypes.	TAMODIA	2006	DBLP DOI BibTeX RDF	ConcurTaskTrees, Canonical Abstract Prototypes, Model Driven Architecture, Model-Based User Interface Design
73	Leonel Nóbrega, Nuno Jardim Nunes, Helder Coelho	Mapping ConcurTaskTrees into UML 2.0.	DSV-IS	2005	DBLP DOI BibTeX RDF
59	Zhiming Qu	Construction and Congestion Control in Computer Components Based on CTT and EESA.	JCAI	2009	DBLP DOI BibTeX RDF	EESA, CTT, congestion control, construction
49	Alexandre Cortier, Bruno d'Ausbourg, Yamine Aït Ameur	Formal Validation of Java/Swing User Interfaces with the Event B Method.	HCI (1)	2007	DBLP DOI BibTeX RDF	Method B, CTT, User Interface, Formal Methods, Static Analysis, Validation, Tasks Model
47	Ag Asri Ag Ibrahim, Andy Hunt	Combining data-state and ctt diagrams in modeling sonification applications.	SIGDOC	2007	DBLP DOI BibTeX RDF	data state, task snalysis, human computer interaction (hci), diagram, sonification
36	Mike Stannett	The computational status of physics.	Nat. Comput.	2009	DBLP DOI BibTeX RDF	Hypercomputation, Arrow of time, Theory of computation, Natural computation, Discrete time, Quantum theory, Philosophy of science
36	Angela Maria Alves, Giancarlo Nuti Stefanuto, Clênio F. Salviano, P. Drummond, Corinto Meffe	Learning path to an emergent ecosystem: the Brazilian public software experience.	MEDES	2009	DBLP DOI BibTeX RDF	digital emerging ecosystem, network quality model, virtual network apprenticeship, e-government, maturity model, cooperative engineering
36	Víctor López-Jaquero, Francisco Montero Simarro	Comprehensive Task and Dialog Modelling.	HCI (1)	2007	DBLP DOI BibTeX RDF	User interface design, task models, abstract user interfaces, dialog models
36	Sergio España, José Ignacio Panach, Inés Pederiva, Oscar Pastor 0001	Towards a Holistic Conceptual Modelling-Based Software Development Process.	ER	2006	DBLP DOI BibTeX RDF
36	Xiangrong Zhou, Peter Petrov	Energy-efficient address translation for virtual memory support in low-power and real-time embedded processors.	CODES+ISSS	2005	DBLP DOI BibTeX RDF
36	W. Sardha Wijesoma, K. R. S. Kodagoda, Eam Khwang Teoh	Stable Fuzzy State Space Controller for Lateral Control of an AGV.	J. VLSI Signal Process.	2002	DBLP DOI BibTeX RDF	lateral control, fuzzy sliding mode control, fuzzy PD control, stability, sliding mode control
30	Claudia Mena, Cristian Rusu, Silvana Roncagliolo	Modeling the Interaction with MoLIC.	ITNG	2009	DBLP DOI BibTeX RDF	MoLIC, UMLi, CTT, Interaction modeling, Semiotic Engineering
29	Yamine Aït Ameur, Mickaël Baron	Formal and experimental validation approaches in HCI systems design based on a shared event B model.	Int. J. Softw. Tools Technol. Transf.	2006	DBLP DOI BibTeX RDF	Interaction properties verification and validation, User task modelling and validation, Event B method, CTT (ConcurTaskTrees) language, Formal methods
29	Mousa Karimi, Ataollah Saeed Monir, Rezvan Mohammadrezaee, Boris Vaisband	CTT-Based Scalable Neuromorphic Architecture.	IEEE J. Emerg. Sel. Topics Circuits Syst.	2023	DBLP DOI BibTeX RDF
29	Mao-Lin Li, K. Selçuk Candan, Maria Luisa Sapino	CTT: Causally Informed Tensor Train Decomposition.	IEEE Big Data	2023	DBLP DOI BibTeX RDF
29	Zhichao Chen, Yang Xiao, Li Du, Yuan Du	Characterization of Charge-Trap-Transistor (CTT) Threshold Voltage Degradation and Differential-Pair-Based Memory Design.	ISCAS	2023	DBLP DOI BibTeX RDF
29	Samuel Dayo, Ataollah Saeed Monir, Mousa Karimi, Boris Vaisband	Statistical Weight Refresh System for CTT-Based Synaptic Arrays.	ACM Great Lakes Symposium on VLSI	2023	DBLP DOI BibTeX RDF
29	Okyanus T. Gumus, Mousa Karimi, Boris Vaisband	Digital LIF Neuron for CTT-Based Neuromorphic Systems.	ACM Great Lakes Symposium on VLSI	2023	DBLP DOI BibTeX RDF
29	Chun-Tsai Chien, Chien-Lung Wang, I-En Liao, Sying-Jyan Wang	Implementing OIML R46 Communication Unit for DLMS/COSEM Security Suite 1 and Passing CTT V3.1 Test.	ICNSC	2023	DBLP DOI BibTeX RDF
29	Thomas Feutrier	Landscape Analysis and Solver Reconfiguration for the Curriculum-Based Course Timetabling. (Analyse du paysage et reconfiguration d'algorithmes pour le problème CB-CTT d'emploi du temps universitaire).		2023	RDF
29	Jinhong Wang, Jingwen Wang, Tingting Chen, Wenhao Zheng, Zhe Xu, Xingdi Wu, Wen Xu, Haochao Ying, Danny Z. Chen, Jian Wu 0025	CTT-Net: A Multi-view Cross-token Transformer for Cataract Postoperative Visual Acuity Prediction.	CoRR	2022	DBLP DOI BibTeX RDF
29	Chen Yang, Ximing Zhang, Zongxi Song	CTT: CNN Meets Transformer for Tracking.	Sensors	2022	DBLP DOI BibTeX RDF
29	Jinhong Wang, Jingwen Wang, Tingting Chen, Wenhao Zheng, Zhe Xu, Xingdi Wu, Wen Xu, Haochao Ying, Danny Z. Chen, Jian Wu 0025	CTT-Net: A Multi-view Cross-token Transformer for Cataract Postoperative Visual Acuity Prediction.	BIBM	2022	DBLP DOI BibTeX RDF
29	Thomas F. Düllmann, André van Hoorn, Vladimir Yussupov, Pelle Jakovits, Mainak Adhikari	CTT: Load Test Automation for TOSCA-based Cloud Applications.	ICPE (Companion)	2022	DBLP DOI BibTeX RDF
29	Swamy Perumandla, Padma Kurisetti	Commodity Transaction Tax (CTT): Nature of Correlation Dynamics and Volatility Linkages Between Indian Commodity and Equity Markets.	Int. J. Asian Bus. Inf. Manag.	2021	DBLP DOI BibTeX RDF
29	Yang Xiao, Wuyu Fan, Yuan Du, Li Du, Mau-Chung Frank Chang	CTT-based Non-Volatile Deep Neural Network Accelerator Design.	ISOCC	2021	DBLP DOI BibTeX RDF
29	Yuan Du, Li Du, Xuefeng Gu, Jieqiong Du, X. Shawn Wang, Boyu Hu, Mingzhe Jiang, Xiaoliang Chen, Subramanian S. Iyer, Mau-Chung Frank Chang	An Analog Neural Network Computing Engine Using CMOS-Compatible Charge-Trap-Transistor (CTT).	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2019	DBLP DOI BibTeX RDF
29	Vishal Reddy Banala, Cheng Hao, Chris Hutchens	Secure Interface Architecture for Charge Trap Transistor (CTT) Based EEPROM.	MWSCAS	2019	DBLP DOI BibTeX RDF
29	Sherouk J. Kadhm	Validation of Sherouk's Critical Thinking Test (SH-CTT).	Int. J. Adult Vocat. Educ. Technol.	2017	DBLP DOI BibTeX RDF
29	Yuan Du, Li Du, Xuefeng Gu, Xiao Wang, Mau-Chung Frank Chang	A Memristive Neural Network Computing Engine using CMOS-Compatible Charge-Trap-Transistor (CTT).	CoRR	2017	DBLP BibTeX RDF
29	Mei Guo, Dong Yuan, Yun Yang 0001	云计算环境下低成本存储科学数据的演化CTT-SP算法 (Evolutionary CTT-SP Algorithm for Cost-effectively Storing Scientific Datasets in Cloud).	计算机科学	2017	DBLP DOI BibTeX RDF
29	Sima Ahmadpour, Ali Khaleghi	Central Trouble Ticketing (CTT) System as a Communication Tool between Stakeholders of Center of Training and learning (CTL).	ICIME	2017	DBLP DOI BibTeX RDF
29	Lei Fan, Sha Meng, Xiyang Liu, Yanfang Liang	Improved CTT-SP Algorithm with Critical Path Method for Massive Data Storage in Scientific Workflow Systems.	Int. J. Pattern Recognit. Artif. Intell.	2016	DBLP DOI BibTeX RDF
29	Miroslav Sili, Matthias Gira, Markus Müllner-Rieder, Christopher C. Mayer	Interaction Modeling in PRACTICE - CTT Vs. SCXML - A Comparison of Two Practical Solutions Applying Interaction Modeling Techniques for Multimodal User-System Interaction.	ICT4AgeingWell	2015	DBLP DOI BibTeX RDF
29	Lei Fan, Sha Meng, Yanfang Liang, Xiyang Liu	Experimental Analysis on CTT-SP Algorithm for Intermediate Data Storage in Scientific Workflow Systems.	CIS	2015	DBLP DOI BibTeX RDF
29	Junping Zhang, Xiaoling Zhang, Zhiwei Feng	Automatic Parsing of ?NP+ you +VP? in Chinese, Japanese and Indonesian Based on CTT & Complex Features.	ALPIT	2008	DBLP DOI BibTeX RDF
29	Jesús Gallardo 0001, Ana I. Molina, Crescencio Bravo, Miguel A. Redondo	Collaborative Modelling of Tasks with CTT: Tools and a Study.	CADUI	2008	DBLP DOI BibTeX RDF
18	Frédéric Jourde, Yann Laurillau, Laurence Nigay	COMM notation for specifying collaborative and multimodal interactive systems.	EICS	2010	DBLP DOI BibTeX RDF	specification notation, groupware, multimodal interaction
18	Daniel Sinnig, Rabeb Mizouni, Ferhat Khendek	Bridging the gap: empowering use cases with task models.	EICS	2010	DBLP DOI BibTeX RDF	use cases, task models, development methodology, user interface development
18	Stefan Propp, Peter Forbrig	Defining Expected Behavior for Usability Testing.	HCI (10)	2009	DBLP DOI BibTeX RDF	Usability Evaluation, Task Models
18	Robert L. Constable	Building Mathematics-Based Software Systems to Advance Science and Create Knowledge.	Efficient Algorithms	2009	DBLP DOI BibTeX RDF
18	Jesús Gallardo 0001, Ana I. Molina, Crescencio Bravo, Miguel A. Redondo, César A. Collazos 0001	Comparative Study of Tools for Collaborative Task Modelling: An Empirical and Heuristic-Based Evaluation.	CRIWG	2008	DBLP DOI BibTeX RDF	Collaborative modelling tools, Usability and awareness evaluation, Groupware, User Interface Design, Task Modelling
18	Jihen Malek, Mona Laroussi, Alain Derycke	ContAct-Us: a context-activity adaptive modeler for ubiquitous learning systems.	CSTST	2008	DBLP DOI BibTeX RDF	context aware pervasive learning, adaptation, metamodel, context modeling, activity modeling
18	Ruey-Song Huang, Tzyy-Ping Jung, Scott Makeig	Event-Related Brain Dynamics in Continuous Sustained-Attention Tasks.	HCI (16)	2007	DBLP DOI BibTeX RDF	brain dynamics, ICA, EEG, driving, drowsiness
18	Bertrand T. David, René Chalon, Olivier Delotte, Guillaume Masserey	ORCHESTRA: Formalism to Express Static and Dynamic Model of Mobile Collaborative Activities and Associated Patterns.	HCI (1)	2007	DBLP DOI BibTeX RDF	CSoCW, Specific Description Language, MDA inspired elaboration process, transformation process, formalism meta-model, description patterns
18	Daniel Sinnig, Patrice Chalin, Ferhat Khendek	Common Semantics for Use Cases and Task Models.	IFM	2007	DBLP DOI BibTeX RDF	requirements, Use cases, task models, formal semantics, labeled transition systems, partial order sets
18	Bertrand T. David, René Chalon, Olivier Delotte, Guillaume Masserey, Matthieu Imbert	ORCHESTRA: Formalism to Express Mobile Cooperative Applications.	CRIWG	2006	DBLP DOI BibTeX RDF	Specific description language, MDA inspired elaboration process, transformation process, formalism meta-model and examples
18	Sergio España, Inés Pederiva, José Ignacio Panach	Integrating Model-Based And Task-Based Approaches To User Interface Generation.	CADUI	2006	DBLP DOI BibTeX RDF	Model-based user interface development environment, User Interface, Code Generation, User Interaction, Functional Requirements, Task-based design
18	Iga Rudawska, Adam Sagan	Multilevel Dimensions of Consumer Relationships in the Healthcare Service Market M-L IRT vs. M-L SEM Approach.	GfKl	2006	DBLP DOI BibTeX RDF
18	Olga De Troyer, Sven Casteleyn, Peter Plessers	Using ORM to Model Web Systems.	OTM Workshops	2005	DBLP DOI BibTeX RDF
18	Tobias Klug, Jussi Kangasharju	Executable task models.	TAMODIA	2005	DBLP DOI BibTeX RDF	dynamic UI construction, proactive user interfaces, task modeling
18	David House, Björn Granström	Multimodal Speech Synthesis: Improving Information Flow in Dialogue Systems Using 3D Talking Heads.	AIMSA	2002	DBLP DOI BibTeX RDF
18	David Navarre, Philippe A. Palanque, Fabio Paternò, Carmen Santoro, Rémi Bastide	A Tool Suite for Integrating Task and System Models through Scenarios.	DSV-IS	2001	DBLP DOI BibTeX RDF
18	Matt Fairtlough, Michael Mendler	On the Logical Content of Computational Type Theory: A Solution to Curry's Problem.	TYPES	2000	DBLP DOI BibTeX RDF