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 |
|