Search results for "psl"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Friedhelm Schwenker, Edmondo Trentin (eds.)	Partially Supervised Learning - First IAPR TC3 Workshop, PSL 2011, Ulm, Germany, September 15-16, 2011, Revised Selected Papers	PSL	2012	DBLP DOI BibTeX RDF
1	Matthias Hillebrand, Christian Wöhler, Ulrich Kreßel, Franz Kummert	Semi-supervised Training Set Adaption to Unknown Countries for Traffic Sign Classifiers.	PSL	2011	DBLP DOI BibTeX RDF
1	Marco Loog	Semi-supervised Linear Discriminant Analysis Using Moment Constraints.	PSL	2011	DBLP DOI BibTeX RDF
1	Doru Anastasiu Popescu	Sink Web Pages in Web Application.	PSL	2011	DBLP DOI BibTeX RDF
1	Catrin O. Plumpton	Online Semi-supervised Ensemble Updates for fMRI Data.	PSL	2011	DBLP DOI BibTeX RDF
1	Ludwig Lausser, Florian Schmid, Hans A. Kestler	On the Utility of Partially Labeled Data for Classification of Microarray Data.	PSL	2011	DBLP DOI BibTeX RDF
1	Ilaria Castelli, Edmondo Trentin	Semi-unsupervised Weighted Maximum-Likelihood Estimation of Joint Densities for the Co-training of Adaptive Activation Functions.	PSL	2011	DBLP DOI BibTeX RDF
1	Zhi-Hua Zhou	Unlabeled Data and Multiple Views.	PSL	2011	DBLP DOI BibTeX RDF
1	Cameron Cooper, Robert Kilmer	Using Self Organizing Maps to Find Good Comparison Universities.	PSL	2011	DBLP DOI BibTeX RDF
1	Stefan Faußer, Friedhelm Schwenker	Semi-Supervised Kernel Clustering with Sample-to-Cluster Weights.	PSL	2011	DBLP DOI BibTeX RDF
1	Martin Schels, Markus Kächele, David Hrabal, Steffen Walter, Harald C. Traue, Friedhelm Schwenker	Classification of Emotional States in a Woz Scenario Exploiting Labeled and Unlabeled Bio-physiological Data.	PSL	2011	DBLP DOI BibTeX RDF
1	Simón C. Smith, J. Michael Herrmann	Homeokinetic Reinforcement Learning.	PSL	2011	DBLP DOI BibTeX RDF
1	José Esparza, Stefan Scherer, Friedhelm Schwenker	Studying Self- and Active-Training Methods for Multi-feature Set Emotion Recognition.	PSL	2011	DBLP DOI BibTeX RDF
1	Edmondo Trentin, Luca Lusnig, Fabio Cavalli	Comparison of Combined Probabilistic Connectionist Models in a Forensic Application.	PSL	2011	DBLP DOI BibTeX RDF
1	Andreas Müller 0004, Sven Behnke	Multi-instance Methods for Partially Supervised Image Segmentation.	PSL	2011	DBLP DOI BibTeX RDF
1	Kazuki Yoshiyama, Akito Sakurai	Manifold-Regularized Minimax Probability Machine.	PSL	2011	DBLP DOI BibTeX RDF
1	Yann Soullard, Thierry Artières	Iterative Refinement of HMM and HCRF for Sequence Classification.	PSL	2011	DBLP DOI BibTeX RDF
1	Ilaria Castelli, Edmondo Trentin	Supervised and Unsupervised Co-training of Adaptive Activation Functions in Neural Nets.	PSL	2011	DBLP DOI BibTeX RDF
1	Nicolas Troquard	Learning and Practice of the Property Specification Language.	IEEE Design & Test of Computers	2011	DBLP DOI BibTeX RDF	design, verification, specification, temporal logic, standards, design and test, PSL
1	Tuomas Launiainen, Keijo Heljanko, Tommi A. Junttila	Efficient Model Checking of PSL Safety Properties.	ACSD	2010	DBLP DOI BibTeX RDF	model checking, safety properties, PSL, NuSMV
1	Daniel Große, Robert Wille, Ulrich Kühne, Rolf Drechsler	Contradictory antecedent debugging in bounded model checking.	ACM Great Lakes Symposium on VLSI	2009	DBLP DOI BibTeX RDF	formal verification, debugging, bounded model checking, psl
1	Yann Oddos, Katell Morin-Allory, Dominique Borrione, Marc Boule, Zeljko Zilic	MYGEN: automata-based on-line test generator for assertion-based verification.	ACM Great Lakes Symposium on VLSI	2009	DBLP DOI BibTeX RDF	generator, psl, test vector generation
1	Florian Eibensteiner, Rainer Findenig, Markus Pfaff	SynPSL: Behavioral Synthesis of PSL Assertions.	EUROCAST	2009	DBLP DOI BibTeX RDF	Synthesis, PSL, Assertion-based Verification
1	Marc Boule, Zeljko Zilic	Automata-based assertion-checker synthesis of PSL properties.	ACM Trans. Design Autom. Electr. Syst.	2008	DBLP DOI BibTeX RDF	assertion checkers, emulation, hardware, automata, PSL, Assertion-Based Verification
1	Emmanuel Zarpas, Cindy Eisner, Sivan Tal	Policy Validation for System Automation: A Case Study.	POLICY	2008	DBLP DOI BibTeX RDF	Tivoli, TSA, formal verification, validation, policy, PSL
1	Wanwei Liu, Ji Wang, Huowang Chen, Xiaodong Ma	Symbolic Model Checking APSL.	TASE	2008	DBLP DOI BibTeX RDF	Symbolic model checking, PSL
1	Patrick Solé, Dmitrii Zinoviev	The Peak to Sidelobe Level of the Most Significant Bit of Trace Codes over Galois Rings.	SETA	2008	DBLP DOI BibTeX RDF	aperiodic autocorrelation, partial period distribution, MSB, PSL, Galois rings
1	Naiyong Jin, Taoyong Ni	Interface Specification Assurance Methods.	ISQED	2007	DBLP DOI BibTeX RDF	Component-Based Methodology, Specification Assurance, SAT, PSL
1	Shoham Ben-David, Dana Fisman, Sitvanit Ruah	Temporal Antecedent Failure: Refining Vacuity.	CONCUR	2007	DBLP DOI BibTeX RDF	Vacuity, SVA, Antecedent failure, Model checking, Temporal logic, Regular expressions, PSL
1	Daniel Große, Ulrich Kühne, Rolf Drechsler	HW/SW co-verification of embedded systems using bounded model checking.	ACM Great Lakes Symposium on VLSI	2006	DBLP DOI BibTeX RDF	hardware/software co-verification, embedded systems, formal verification, SystemC, bounded model checking, PSL
1	Keijo Heljanko, Tommi A. Junttila, Misa Keinänen, Martin Lange, Timo Latvala	Bounded Model Checking for Weak Alternating Büchi Automata.	CAV	2006	DBLP DOI BibTeX RDF	Weak Alternating Büchi Automata, Bounded Model Checking, PSL, NuSMV
1	Youngsik Kim, Parija Sule, Nazanin Mansouri	Exploiting PSL standard assertions in a theorem-proving-based verification environment.	ACM Great Lakes Symposium on VLSI	2005	DBLP DOI BibTeX RDF	assertion-based design, modeling, verification, theorem-proving, formal semantics, PSL
1	Conrad Bock, Michael Gruninger	PSL: A semantic domain for flow models.	Software and System Modeling	2005	DBLP DOI BibTeX RDF	Flow semantics, Activity model Communicated by Steve Cook, UML, Concurrency, Data flow, Control flow, PSL, Flow model, Process specification
1	Kai-Hui Chang, Wei-Ting Tu, Yi-Jong Yeh, Sy-Yen Kuo	A Temporal Assertion Extension to Verilog.	ATVA	2004	DBLP DOI BibTeX RDF	temporal assertion, verification, PSL
1	Michael J. C. Gordon	Validating the PSL/Sugar Semantics Using Automated Reasoning.	Formal Asp. Comput.	2003	DBLP DOI BibTeX RDF	Accellera, Property language, Sugar, Model checking, Semantics, Formal verification, Theorem proving, Higher-order logic, PSL, HOL
1	Christopher Menzel, Michael Grüninger	A formal foundation for process modeling.	FOIS	2001	DBLP DOI BibTeX RDF	process specification language, process modeling, PSL, formal ontology