Search results for "SCT"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
120	Chin Soon Lee	Program Termination Analysis in Polynomial Time.	GPCE	2002	DBLP DOI BibTeX RDF
80	Reza M. Rad, Mohammad Tehranipoor	SCT: A novel approach for testing and configuring nanoscale devices.	ACM J. Emerg. Technol. Comput. Syst.	2008	DBLP DOI BibTeX RDF	Configuration and testing, reconfigurable nanoscale devices, fault tolerance, crossbar, nanowire
69	Marc Pauly	Formal Methods and the Theory of Social Choice.	RelMiCS	2008	DBLP DOI BibTeX RDF
69	Tariq Jamil Saifullah Khanzada, Ali Ramadan Ali, Abdul Qadeer Khan Rajput, Abbas S. Omar	A Design and Chronological Survey of Decision Feedback Equalizer for Single Carrier Transmission Compared with OFDM.	IMTIC	2008	DBLP DOI BibTeX RDF
69	Sieteng Soh, Suresh Rai	An efficient cutset approach for evaluating communication-network reliability with heterogeneous link-capacities.	IEEE Trans. Reliab.	2005	DBLP DOI BibTeX RDF
65	Tariq Jamil Saifullah Khanzada, Ali Ramadan Ali, Abbas S. Omar	The Effect of Coding on OFDM and Single Carrier Transmission with Decision Feedback Equalizer.	CNSR	2008	DBLP DOI BibTeX RDF	SCT, OFDM, BER, convolutional Coding, DFE
65	Roland Kuhn 0001, Renato de Mori	The Application of Semantic Classification Trees to Natural Language Understanding.	IEEE Trans. Pattern Anal. Mach. Intell.	1995	DBLP DOI BibTeX RDF	semantic classification tree, SCT, machine learning, decision tree, natural language, Speech understanding
52	Seth Fogarty, Moshe Y. Vardi	Büchi Complementation and Size-Change Termination.	TACAS	2009	DBLP DOI BibTeX RDF
52	Amir M. Ben-Amram, Michael Codish	A SAT-Based Approach to Size Change Termination with Global Ranking Functions.	TACAS	2008	DBLP DOI BibTeX RDF
52	Amir M. Ben-Amram, Chin Soon Lee	Program termination analysis in polynomial time.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	size-change graph, size-change termination, Abstraction, program analysis, termination analysis
52	Weiqun Zheng, Gary A. Bundell	Model-Based Software Component Testing: A UML-Based Approach.	ACIS-ICIS	2007	DBLP DOI BibTeX RDF
52	Natalie Fridman, Gal A. Kaminka	Modeling Imitational Behavior Via Social Comparison Theory.	IVA	2007	DBLP DOI BibTeX RDF
52	Wanqing Tu, Weijia Jia 0001	End Host Multicast for Peer-to-Peer Systems.	GCC	2004	DBLP DOI BibTeX RDF
48	James A. Greathouse	Training: tackling the task of reeling them in.	SIGUCCS	2005	DBLP DOI BibTeX RDF	SCT, banner, luminis, partnering faculty, trainer, communication, training, portal, material, gateway, staff
47	Kathryn Fletcher	Storm stories: surviving an upgrade to WebCT Vista.	SIGUCCS	2005	DBLP DOI BibTeX RDF	SCT banner integration, WebCT Vista, WebCT migration, project planning, software upgrade
45	Reza M. Rad, Mohammad Tehranipoor	SCT: An Approach For Testing and Configuring Nanoscale Devices.	VTS	2006	DBLP DOI BibTeX RDF
34	Robert Law	Using student blogs for documentation in software development projects.	ITiCSE	2011	DBLP DOI BibTeX RDF
34	Minqiang Li, Dan Lin 0002, Jisong Kou	An investigation on niching multiple species based on population replacement strategies for multimodal functions optimization.	Soft Comput.	2010	DBLP DOI BibTeX RDF	Population replacement, Niching strategy, Crowding with nearest neighbors replacement, Species conserving technique, Hierarchical fair competition, Clearing procedure, Species conservation, Genetic algorithms, Multimodal functions optimization
34	Amir M. Ben-Amram	A complexity tradeoff in ranking-function termination proofs.	Acta Informatica	2009	DBLP DOI BibTeX RDF
34	Francesco Nesta, Piergiorgio Svaizer, Maurizio Omologo	Cumulative State Coherence Transform for a Robust Two-Channel Multiple Source Localization.	ICA	2009	DBLP DOI BibTeX RDF	TDOA estimation, multiple speaker localization, independent component analysis (ICA), Blind source separation (BSS)
34	Guisheng Fan, Huiqun Yu, Dongmei Liu, Liqiong Chen	Modeling and Analyzing Time Constrains for Service Composition.	ICYCS	2008	DBLP DOI BibTeX RDF
34	Gal A. Kaminka, Natalie Fridman	Social comparison in crowds: a short report.	AAMAS	2007	DBLP DOI BibTeX RDF
34	Damien Sereni, Neil D. Jones	Termination Analysis of Higher-Order Functional Programs.	APLAS	2005	DBLP DOI BibTeX RDF
34	Vir V. Phoha, Amit U. Nadgar, Asok Ray, Shashi Phoha	Supervisory Control of Software Systems.	IEEE Trans. Computers	2004	DBLP DOI BibTeX RDF
34	Hikaru Morita, Kazuo Ohta, Shoji Miyaguchi	Results of Switching-Closure-Test on FEAL (Extended Abstract).	ASIACRYPT	1991	DBLP DOI BibTeX RDF
28	Henry Hengyuan Zhao, Pichao Wang, Yuyang Zhao, Hao Luo 0004, Fan Wang 0019, Mike Zheng Shou	SCT: A Simple Baseline for Parameter-Efficient Fine-Tuning via Salient Channels.	Int. J. Comput. Vis.	2024	DBLP DOI BibTeX RDF
28	Henry Hengyuan Zhao, Pichao Wang, Yuyang Zhao, Hao Luo 0004, Fan Wang, Mike Zheng Shou	SCT: A Simple Baseline for Parameter-Efficient Fine-Tuning via Salient Channels.	CoRR	2023	DBLP DOI BibTeX RDF
28	Sarah Meiklejohn, Joe DeBlasio, Devon O'Brien, Chris Thompson, Kevin Yeo, Emily Stark 0001	SoK: SCT Auditing in Certificate Transparency.	Proc. Priv. Enhancing Technol.	2022	DBLP DOI BibTeX RDF
28	Sarah Meiklejohn, Joe DeBlasio, Devon O'Brien, Chris Thompson, Kevin Yeo, Emily Stark 0001	SoK: SCT Auditing in Certificate Transparency.	CoRR	2022	DBLP DOI BibTeX RDF
28	Xiaoli Wu, Wenbo Kuang	Exploring Influence Factors of WeChat Users' Health Information Sharing Behavior: Based on an Integrated Model of TPB, UGT and SCT.	Int. J. Hum. Comput. Interact.	2021	DBLP DOI BibTeX RDF
28	Gang Yan, Alexander Schmitz, Satoshi Funabashi, Sophon Somlor, Tito Pradhono Tomo, Shigeki Sugano	SCT-CNN: A Spatio-Channel-Temporal Attention CNN for Grasp Stability Prediction.	ICRA	2021	DBLP DOI BibTeX RDF
28	Ben Yan, Hua-Ping Yao, Masahide Nakamura, Zhi-Feng Li, Dong Wang	A Case Study for Software Quality Evaluation Based on SCT Model With BP Neural Network.	IEEE Access	2020	DBLP DOI BibTeX RDF
28	Mohsen Fayyaz, Juergen Gall	SCT: Set Constrained Temporal Transformer for Set Supervised Action Segmentation.	CoRR	2020	DBLP BibTeX RDF
28	Radiy Radutny, Alina S. Nechyporenko, Victoriia Alekseeva, Ganna Titova, Dmytro Bibik, Vitaliy Gargin	Automated Measurement of Bone Thickness on SCT Sections and Other Images.	DSMP	2020	DBLP DOI BibTeX RDF
28	Mohsen Fayyaz, Jürgen Gall	SCT: Set Constrained Temporal Transformer for Set Supervised Action Segmentation.	CVPR	2020	DBLP BibTeX RDF
28	Bingqing Xie	Image-domain material decomposition in spectral photon-counting CT for medical applications. (La décomposition de matériaux dans la tomographie spectrale (sCT - spectral computed tomography) par rayons X dans le domaine de l'image).		2020	RDF
28	Xi Wang 0015, Zhiwu Li 0001, Thomas Moor	SCT-based priority-free conditionally-preemptive scheduling of modular real-time systems with exact task execution time.	Discret. Event Dyn. Syst.	2019	DBLP DOI BibTeX RDF
28	Hangwani Emmanuel Magoro, Mampilo M. Phahlane	E-HRM: A Proposed theory based on the Social Cognitive Theory(SCT).	ICICIS	2019	DBLP DOI BibTeX RDF
28	Giovanni Ambrosi, M. Ambrosio, Carla Aramo, B. Bertucci, Elisabetta Bissaldi, M. Bitossri, A. Boiano, Carmela Bonavolontà, M. Caprai, Leonardo Di Venere, E. Fiandrini, N. Giglietto, Francesco Giordano, Maria Ionica, Francesco Licciulli, Serena Loporchio, V. Masone, M. Mongelli, Francesca R. Pantaleo, R. Paoletti, A. Rugliancich, L. Stiaccini, L. Tosti, Valerio Vagelli, M. Valentino	Characterization and development of NUV SiPMs for INFN optical modules for the SCT Medium Size Telescope proposed for the CTA Observatory.	IWASI	2019	DBLP DOI BibTeX RDF
28	Emanuele Frittaion, Florian Pelupessy, Silvia Steila, Keita Yokoyama	The strength of SCT soundness.	J. Log. Comput.	2018	DBLP DOI BibTeX RDF
28	Benjamin De Leener, Simon Lévy, Sara M. Dupont, Vladimir S. Fonov, Nikola Stikov, D. Louis Collins, Virginie Callot, Julien Cohen-Adad	SCT: Spinal Cord Toolbox, an open-source software for processing spinal cord MRI data.	NeuroImage	2017	DBLP DOI BibTeX RDF
28	Emanuele Frittaion, Silvia Steila, Keita Yokoyama	The Strength of the SCT Criterion.	TAMC	2017	DBLP DOI BibTeX RDF
28	Emanuele Frittaion, Silvia Steila, Keita Yokoyama	The strength of the SCT criterion.	CoRR	2016	DBLP BibTeX RDF
28	Marzouk Mamou, Alan L. Rector, Stefan Schulz 0001, James R. Campbell 0001, Harold Solbrig, Jean Marie Rodrigues	ICD-11 (JLMMS) and SCT Inter-Operation.	eHealth	2016	DBLP DOI BibTeX RDF
28	Nripendra P. Rana, Yogesh Kumar Dwivedi	Citizen's adoption of an e-government system: Validating extended social cognitive theory (SCT).	Gov. Inf. Q.	2015	DBLP DOI BibTeX RDF
28	Yaohua Wang, Dong Wang, Xu Zhou	B-SCT: Improve SpMV processing on SIMD architectures.	IEICE Electron. Express	2015	DBLP DOI BibTeX RDF
28	S. Manoj Kumar, N. Rajkumar	SCT Based Adaptive Data Aggregation for Wireless Sensor Networks.	Wirel. Pers. Commun.	2014	DBLP DOI BibTeX RDF
28	M. Anthony Aiello, Ashlie B. Hocking, John C. Knight, Jonathan C. Rowanhill	SCT: A Safety Case Toolkit.	ISSRE Workshops	2014	DBLP DOI BibTeX RDF
28	Akinori Fujino, Jun Suzuki, Tsutomu Hirao, Hisashi Kurasawa, Katsuyoshi Hayashi	SCT-D3 at the NTCIR-11 MedNLP-2 Task.	NTCIR	2014	DBLP BibTeX RDF
28	N. Jeyanthi, R. Thandeeswaran, Hamid Mcheick	SCT: Secured Cloud based Telemedicine.	ISNCC	2014	DBLP DOI BibTeX RDF
28	Alireza Masnadi-Shirazi, Bhaskar D. Rao	An ICA-SCT-PHD Filter Approach for Tracking and Separation of Unknown Time-Varying Number of Sources.	IEEE Trans. Speech Audio Process.	2013	DBLP DOI BibTeX RDF
28	Jian Lin 0001, Mary Ann Ingram	SCT-MAC: A scheduling duty cycle MAC protocol for cooperative wireless sensor network.	ICC	2012	DBLP DOI BibTeX RDF
28	ChoRong Yu, KangYong Lee, Hyunjin Lee, Cho Kee Seong	Creating value-added services in converged service environment using SCT.	ICTC	2012	DBLP DOI BibTeX RDF
28	Gregory Faraut, Laurent Piétrac, Éric Niel	A new framework for mode switching in SCT.	ECC	2009	DBLP DOI BibTeX RDF
28	Gavin Kelly, Robin Barker, G. Parkin, Michael Stevens	SCT: Building testing into standards.	Comput. Stand. Interfaces	1998	DBLP DOI BibTeX RDF
19	Yosi Ben-Asher, Ilan Newman	Decision Trees with AND, OR Queries.	SCT	1995	DBLP DOI BibTeX RDF
19	Martin Kummer	The Instance Complexity Conjecture.	SCT	1995	DBLP DOI BibTeX RDF
19	James S. Royer	Semantics versus Syntax versus Computations.	SCT	1995	DBLP DOI BibTeX RDF
19	Stephen A. Fenner	Resource-Bounded Baire Category: A Stronger Approach.	SCT	1995	DBLP DOI BibTeX RDF
19	Jack H. Lutz	A Small Span Theorem for P/Poly-Turing Reductions.	SCT	1995	DBLP DOI BibTeX RDF
19	John D. Rogers	The Isomorphism Conjecture Holds and One-Way Functions Exist Relative to an Oracle.	SCT	1995	DBLP DOI BibTeX RDF
19	Stephen A. Fenner	Inverting the Turing Jump in Complexity Theory.	SCT	1995	DBLP DOI BibTeX RDF
19	Kousha Etessami	Counting Quantifiers, Successor Relations, and Logarithmic Space.	SCT	1995	DBLP DOI BibTeX RDF
19	Russell Impagliazzo	A Personal View of Average-Case Complexity.	SCT	1995	DBLP DOI BibTeX RDF
19		Proceedings of the Tenth Annual Structure in Complexity Theory Conference, Minneapolis, Minnesota, USA, June 19-22, 1995	SCT	1995	DBLP BibTeX RDF
19	Richard Chang 0001, William I. Gasarch, Jacobo Torán	On Finding the Number of Graph Automorphisms.	SCT	1995	DBLP DOI BibTeX RDF
19	Anna Gál, Mario Szegedy	Fault Tolerant Circuits and Probabilistically Checkable Proofs.	SCT	1995	DBLP DOI BibTeX RDF
19	Marius Zimand	Weighted NP Optimization Problems: Logical Definability and Approximation Properties.	SCT	1995	DBLP DOI BibTeX RDF
19	Johannes Köbler	On the Structure of Low Sets.	SCT	1995	DBLP DOI BibTeX RDF
19	Harry Buhrman, Elvira Mayordomo	An Excursion to the Kolmogorov Random Strings.	SCT	1995	DBLP DOI BibTeX RDF
19	Sameet Agarwal, Anne Condon	On Approximation Algorithms for Hierarchical MAX-SAT.	SCT	1995	DBLP DOI BibTeX RDF
19	José L. Balcázar, Elvira Mayordomo	A Note on Genericity and Bi-Immunity.	SCT	1995	DBLP DOI BibTeX RDF
19	Richard Beigel, William I. Gasarch, Efim B. Kinber	Frequency Computation and Bounded Queries.	SCT	1995	DBLP DOI BibTeX RDF
19	Richard Beigel, Howard Straubing	The Power of Local Self-Reductions.	SCT	1995	DBLP DOI BibTeX RDF
19	Kazuo Iwama, Eiji Miyano	Intractability of Read-Once Resolution.	SCT	1995	DBLP DOI BibTeX RDF
19	Yenjo Han, Thomas Thierauf	Restricted Information from Nonadaptive Queries to NP.	SCT	1995	DBLP DOI BibTeX RDF
19	Chih-Long Lin	Optimizing TRIEs for Ordered Pattern Matching is PiP2-Complete.	SCT	1995	DBLP DOI BibTeX RDF
19	Ulrich Hertrampf, Heribert Vollmer, Klaus W. Wagner	On the Power of Number-Theoretic Operations with Respect to Counting.	SCT	1995	DBLP DOI BibTeX RDF
19	Joan Feigenbaum, Daphne Koller, Peter W. Shor	A Game-Theoretic Classification of Interactive Complexity Classes.	SCT	1995	DBLP DOI BibTeX RDF
19	Nicholas Q. Trân	On P-Immunity of Nondeterministic Complete Sets.	SCT	1995	DBLP DOI BibTeX RDF
19	Rainer Schuler, Osamu Watanabe 0001	Towards Average-Case Complexity Analysis of NP Optimization Problems.	SCT	1995	DBLP DOI BibTeX RDF
19	Anna Gál	Semi-Unbounded Fan-In Circuits: Boolean vs. Arithmetic.	SCT	1995	DBLP DOI BibTeX RDF
19	Klaus Ambos-Spies	Resource-Bounded Genericity.	SCT	1995	DBLP DOI BibTeX RDF
19	Manindra Agrawal	DSPACE(n)=?NSPACE(n): A Degree Theoretic Characterization.	SCT	1995	DBLP DOI BibTeX RDF
19	Kenneth W. Regan	On Superlinear Lower Bounds in Complexity Theory.	SCT	1995	DBLP DOI BibTeX RDF
19	Manindra Agrawal, Vikraman Arvind	Reductions of Self-Reducible Sets to Depth-1 Weighted Threshold Circuit Classes, and Sparse Sets.	SCT	1995	DBLP DOI BibTeX RDF
19	Harry B. Hunt III, Madhav V. Marathe, Richard Edwin Stearns	Generalized CNF Satisfiability Problems and Non-Efficient.	SCT	1994	DBLP DOI BibTeX RDF
19	Avi Wigderson	NL/poly <= +/poly (Preliminary Version).	SCT	1994	DBLP DOI BibTeX RDF
19	Richard J. Lipton	Some Consequences of Our Failure to Prove Non-Linear Lower Bounds on Explicit Functions.	SCT	1994	DBLP DOI BibTeX RDF
19	Manindra Agrawal	On the Isomorphism Problem for Weak Reducibilities.	SCT	1994	DBLP DOI BibTeX RDF
19	Harry Buhrman, Leen Torenvliet	On the Structure of Complete Sets.	SCT	1994	DBLP DOI BibTeX RDF
19	Lance Fortnow, Tomoyuki Yamakami	Generic Separations.	SCT	1994	DBLP DOI BibTeX RDF
19	Mitsunori Ogihara	Polynomial-Time Membership Comparable Sets.	SCT	1994	DBLP DOI BibTeX RDF
19	Osamu Watanabe 0001	Test Instance Generation for Promise NP Search Problems.	SCT	1994	DBLP DOI BibTeX RDF
19	Kevin J. Compton, Erich Grädel	Logical Definability of Counting Functions.	SCT	1994	DBLP DOI BibTeX RDF
19	Maciej Liskiewicz, Rüdiger Reischuk	The Complexity World below Logarithmic Space.	SCT	1994	DBLP DOI BibTeX RDF
19	Harry Buhrman, Jim Kadin, Thomas Thierauf	On Functions Computable with Nonadaptive Queries to NP.	SCT	1994	DBLP DOI BibTeX RDF
19	Manindra Agrawal, Vikraman Arvind	Polynomial Time Truth-Table Reductions to P-Selective Sets.	SCT	1994	DBLP DOI BibTeX RDF
19	Klaus-Jörn Lange, Peter Rossmanith	Unambiguous Polynomial Hierarchies and Exponential Size.	SCT	1994	DBLP DOI BibTeX RDF
19	Anne Condon, Joan Feigenbaum, Carsten Lund, Peter W. Shor	Random Debaters and the Hardness of Approximating Stochastic Functions.	SCT	1994	DBLP DOI BibTeX RDF