Search results for "CASP"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
141	Xiaoming Fu 0001, Dieter Hogrefe, Sebastian Willert	Implementation and Evaluation of the Cross-Application Signaling Protocol(CASP).	ICNP	2004	DBLP DOI BibTeX RDF
118	Yanjing Li, Samy Makar, Subhasish Mitra	CASP: Concurrent Autonomous Chip Self-Test Using Stored Test Patterns.	DATE	2008	DBLP DOI BibTeX RDF
96	Ross C. Walker, Srivatsan Raman, David Baker	Poster reception - High resolution, high throughput protein structure prediction using IBM Blue Gene supercomputers: predicting CASP targets in record time.	SC	2006	DBLP DOI BibTeX RDF
55	Szymon Nowakowski, Michal Drabikowski	Efficient Local Protein Structure Prediction.	RSKT	2007	DBLP DOI BibTeX RDF	SV method, SVA method, assessing predictions, model assessment, CASP 7, protein structure prediction, statistical significance
47	Sarah J. Hart, Steven R. Green, Michael Casp, Aysenil Belger	Emotional priming effects during Stroop task performance.	NeuroImage	2010	DBLP DOI BibTeX RDF
47	Lewis Barnett, Joseph F. Kent, Justin Casp, David Green	Design and implementation of an interactive tutorial framework.	SIGCSE	1998	DBLP DOI BibTeX RDF
45	Ameet Patil, Neil C. Audsley	An Efficient Page Lock/Release OS Mechanism for Out-of-Core Embedded Applications.	RTCSA	2007	DBLP DOI BibTeX RDF
33	Ye Huang, Amos Brocco, Nik Bessis, Pierre Kuonen, Béat Hirsbrunner	Community-Aware Scheduling Protocol for Grids.	AINA	2010	DBLP DOI BibTeX RDF	Community-Aware Scheduling Protocol, CASP, SmartGRID, MaGate, Scheduling, Grid
28	Irena Roterman, Katarzyna Stapor, Leszek Konieczny	Role of environmental specificity in CASP results.	BMC Bioinform.	2023	DBLP DOI BibTeX RDF
28	Sopam Dasgupta, Farhad Shakerin, Joaquín Arias, Elmer Salazar, Gopal Gupta 0001	Counterfactual Explanation Generation with s(CASP).	CoRR	2023	DBLP DOI BibTeX RDF
28	Junwen Xiong, Ganglai Wang, Peng Zhang 0005, Wei Huang 0013, Yufei Zha, Guangtao Zhai	CASP-Net: Rethinking Video Saliency Prediction from an Audio-VisualConsistency Perceptual Perspective.	CoRR	2023	DBLP DOI BibTeX RDF
28	Steve Moyle, Nicholas Allott, John Manslow	Modelling Cyber Defenses using s(CASP).	ICLP Workshops	2023	DBLP BibTeX RDF
28	Galileo Sartor, Jacinto A. Dávila, Alessia Fidelangeli, Giuseppe Pisano	(Re)Integration of Logical English and s(CASP).	ICLP Workshops	2023	DBLP BibTeX RDF
28	Anitha Murugesan, Isaac Hong Wong, Robert J. Stroud, Joaquín Arias, Elmer Salazar, Gopal Gupta 0001, Robin Bloomfield, Srivatsan Varadarajan, John Rushby	Semantic Analysis of Assurance Cases using s(CASP).	ICLP Workshops	2023	DBLP BibTeX RDF
28	Junwen Xiong, Ganglai Wang, Peng Zhang 0005, Wei Huang 0013, Yufei Zha, Guangtao Zhai	CASP-Net: Rethinking Video Saliency Prediction from an Audio-Visual Consistency Perceptual Perspective.	CVPR	2023	DBLP DOI BibTeX RDF
28	Julian Hanke, Matthias Stueben, Christian Eymüller, Maximilian Enrico Müller, Alexander Poeppel, Wolfgang Reif	CASP: Computer Aided Specimen Placement for Robot-Based Component Testing.	ICINCO (1)	2023	DBLP DOI BibTeX RDF
28	Sarat Chandra Varanasi, Joaquín Arias, Elmer Salazar, Fang Li 0010, Kinjal Basu 0002, Gopal Gupta 0001	Modeling and Verification of Real-Time Systems with the Event Calculus and s(CASP).	PADL	2022	DBLP DOI BibTeX RDF
28	Guillermo García-Pradales, José F. Morales 0001, Manuel V. Hermenegildo, Joaquín Arias, Manuel Carro	An s(CASP) In-Browser Playground based on Ciao Prolog.	ICLP Workshops	2022	DBLP BibTeX RDF
28	Jan Wielemaker, Mikko Tiihonen	Embedding s(CASP) in Prolog.	ICLP Workshops	2022	DBLP BibTeX RDF
28	Galileo Sartor, Jacinto A. Dávila, Marco Billi, Giuseppe Contissa, Giuseppe Pisano, Robert A. Kowalski	Integration of Logical English and s(CASP).	ICLP Workshops	2022	DBLP BibTeX RDF
28	Lu Qi, Jason Kuen, Zhe Lin 0001, Jiuxiang Gu, Fengyun Rao, Dian Li, Weidong Guo, Zhen Wen, Jiaya Jia	CaSP: Class-agnostic Semi-Supervised Pretraining for Detection and Segmentation.	CoRR	2021	DBLP BibTeX RDF
28	Jan Wielemaker, Joaquín Arias, Gopal Gupta 0001	s(CASP) for SWI-Prolog.	ICLP Workshops	2021	DBLP BibTeX RDF
28	Joaquín Arias, Gopal Gupta 0001, Manuel Carro	A Short Tutorial on s(CASP), a Goal-directed Execution of Constraint Answer Set Programs.	ICLP Workshops	2021	DBLP BibTeX RDF
28	Sarat Chandra Varanasi, Brendan Hall, Joaquín Arias, Elmer Salazar, Fang Li 0010, Kinjal Basu 0002, Kevin Driscoll 0001, Gopal Gupta 0001	Modelling and Verification of Timed Systems with the Event Calculus and s(CASP).	ICLP Workshops	2021	DBLP BibTeX RDF
28	Raneem Alharthi, Rajwa Alharthi, Benjamin Guthier, Abdulmotaleb El-Saddik	CASP: context-aware stress prediction system.	Multim. Tools Appl.	2019	DBLP DOI BibTeX RDF
28	Kehua Guo, Yujian Huang, Li Kuang, Yaoxue Zhang	CASP: A Context-Aware Transparent Active Service Provision Architecture in a Mobile Internet Environment.	Comput. Sci. Eng.	2017	DBLP DOI BibTeX RDF
28	Fernando Martínez-Plumed, Lidia Contreras Ochando, César Ferri, Peter A. Flach, José Hernández-Orallo, Meelis Kull, Nicolas Lachiche, María José Ramírez-Quintana	CASP-DM: Context Aware Standard Process for Data Mining.	CoRR	2017	DBLP BibTeX RDF
28	Marcello Balduccini, Daniele Magazzeni, Marco Maratea, Emily Leblanc	CASP Solutions for Planning in Hybrid Domains.	CoRR	2017	DBLP BibTeX RDF
28	Marcello Balduccini, Daniele Magazzeni, Marco Maratea, Emily Leblanc	CASP solutions for planning in hybrid domains.	Theory Pract. Log. Program.	2017	DBLP DOI BibTeX RDF
28	Ryan Young, Marcello Balduccini, Ankush Israney	CASP for Robot Control in Hybrid Domains.	ASPOCP@LPNMR	2017	DBLP BibTeX RDF
28	Adrien B. Larsen, Jeffrey R. Wagner, Abhinandan Jain, Nagarajan Vaidehi	Protein Structure Refinement of CASP Target Proteins Using GNEIMO Torsional Dynamics Method.	J. Chem. Inf. Model.	2014	DBLP DOI BibTeX RDF
28	Ryan Day, Hyun Joo, Archana G. Chavan, Kristin P. Lennox, Yian Ann Chen, David B. Dahl, Marina Vannucci, Jerry W. Tsai	Understanding the general packing rearrangements required for successful template based modeling of protein structure from a CASP experiment.	Comput. Biol. Chem.	2013	DBLP DOI BibTeX RDF
28	Anjum Chida, Yan-Qing Zhang 0001, Robert W. Harrison	¿¿Enhanced Encoding with Improved Fuzzy Decision Tree Testing Using CASP Templates.	IEEE Comput. Intell. Mag.	2012	DBLP DOI BibTeX RDF
28	Yuliya Lierler, Shaden Smith, Miroslaw Truszczynski, Alex Westlund	Weighted-Sequence Problem: ASP vs CASP and Declarative vs Problem-Oriented Solving.	PADL	2012	DBLP DOI BibTeX RDF
28	Ye Huang, Nik Bessis, Pierre Kuonen, Béat Hirsbrunner	CASP: a community-aware scheduling protocol.	Int. J. Grid Util. Comput.	2011	DBLP DOI BibTeX RDF
28		Protein Refinement: A New Challenge For Casp In Its 10th Anniversary.	Bioinform.	2005	DBLP DOI BibTeX RDF
28	Rafael H. Bordini, Michael Fisher 0001, Carmen Pardavila, Willem Visser, Michael J. Wooldridge	Model Checking Multi-Agent Programs with CASP.	CAV	2003	DBLP DOI BibTeX RDF
28	Naomi Siew, Daniel Fischer 0001	Convergent evolution of protein structure prediction and computer chess tournaments: CASP, Kasparov, and CAFASP.	IBM Syst. J.	2001	DBLP DOI BibTeX RDF
23	Luca Miceli, Luigi Palopoli 0001, Simona E. Rombo, Giorgio Terracina, Giuseppe Tradigo, Pierangelo Veltri	Experimental Evaluation of Protein Secondary Structure Predictors.	ICCS (1)	2009	DBLP DOI BibTeX RDF
23	Subhasish Mitra	Globally Optimized Robust Systems to Overcome Scaled CMOS Reliability Challenges.	DATE	2008	DBLP DOI BibTeX RDF
23	Veena S. Mellarkod, Michael Gelfond	Integrating Answer Set Reasoning with Constraint Solving Techniques.	FLOPS	2008	DBLP DOI BibTeX RDF
23	Femke Ongenae, Matthias Strobbe, Jan Hollez, Gregory De Jans, Filip De Turck, Tom Dhaene, Piet Demeester, Piet Verhoeve	Ontology Based and Context-Aware Hospital Nurse Call Optimization.	CISIS	2008	DBLP DOI BibTeX RDF
23	Giuseppe Lancia, Robert D. Carr, Brian Walenz, Sorin Istrail	101 optimal PDB structure alignments: a branch-and-cut algorithm for the maximum contact map overlap problem.	RECOMB	2001	DBLP DOI BibTeX RDF