Search results for "HSF"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
77	Stefan Edelkamp, Alberto Lluch-Lafuente, Stefan Leue	Directed Explicit Model Checking with HSF-SPIN.	SPIN	2001	DBLP DOI BibTeX RDF
64	Moris Behnam, Insik Shin, Thomas Nolte, Mikael Nolin	An Overrun Method to Support Composition of Semi-independent Real-Time Components.	COMPSAC	2008	DBLP DOI BibTeX RDF	Logical resource sharing, Real time systems, Composition, Hierarchical scheduling
64	Jeremy Shopf, Marc Olano	Procedural haptic texture.	UIST	2006	DBLP DOI BibTeX RDF	virtual reality, haptics, interface, texturing, shading, haptic interaction, haptic texture
51	Hamish HSF., Michael Mugisha, Janise K. Richards, Wayne Chelliah, Joseph Ngenzi, Eric Gaju, Aline Umubyeyi	A System for Monitoring Stability, Usage and Data Completeness in OpenMRS Electronic Health Records in Rural Rwanda.	AMIA	2017	DBLP BibTeX RDF
50	Yanran Shen, Hong Lu 0001, Xiangyang Xue	A Semi-automatic Feature Selecting Method for Sports Video Highlight Annotation.	VISUAL	2007	DBLP DOI BibTeX RDF	highlight annotation, PFS, CMDV, HSF, hierarchical annotation, Mean Shift, Sports video, CMS, EMD
42	Moris Behnam, Insik Shin, Thomas Nolte, Mikael Nolin	Scheduling of semi-independent real-time components: Overrun methods and resource holding times.	ETFA	2008	DBLP DOI BibTeX RDF
42	Stefan Edelkamp, Stefan Leue, Alberto Lluch-Lafuente	Directed explicit-state model checking in the validation of communication protocols.	Int. J. Softw. Tools Technol. Transf.	2004	DBLP DOI BibTeX RDF	Model checking, Directed search, Protocol validation
35	Ruslan Mashinistov, Lino Gerlach, Paul Laycock, Andrea Formica, Giacomo Govi, Chris Pinkenburg	The HSF Conditions Database Reference Implementation.	CoRR	2024	DBLP DOI BibTeX RDF
35	Clement Poiret, Antoine Bouyeure, Sandesh Patil, Antoine Grigis, Edouard Duchesnay, Matthieu Faillot, Michel Bottlaender, Frederic Lemaitre, Marion Noulhiane	A fast and robust hippocampal subfields segmentation: HSF revealing lifespan volumetric dynamics.	Frontiers Neuroinformatics	2023	DBLP DOI BibTeX RDF
35	Zengwei Yao, Zihao Wang, Weihuang Liu, Yaqian Liu, Jiahui Pan	Speech emotion recognition using fusion of three multi-task learning-based classifiers: HSF-DNN, MS-CNN and LLD-RNN.	Speech Commun.	2020	DBLP DOI BibTeX RDF
35	Pedro Real 0001, Helena Molina-Abril, Fernando Díaz-del-Río, Sergio Blanco-Trejo	Homological Region Adjacency Tree for a 3D Binary Digital Image via HSF Model.	CAIP (1)	2019	DBLP DOI BibTeX RDF
35	Qingpeng Li, Lichao Mou, Qingjie Liu, Yunhong Wang, Xiao Xiang Zhu 0001	HSF-Net: Multiscale Deep Feature Embedding for Ship Detection in Optical Remote Sensing Imagery.	IEEE Trans. Geosci. Remote. Sens.	2018	DBLP DOI BibTeX RDF
35	Jaroslaw Smieja, Malgorzata Kardynska, Anna Naumowicz, Patryk Janus, Piotr Widlak, Marek Kimmel	In Silico Analysis of Interactions Between NFkB and HSF Pathways.	BIOINFORMATICS	2015	DBLP BibTeX RDF
35	Sergey Grebenshchikov, Ashutosh Gupta 0001, Nuno P. Lopes, Corneliu Popeea, Andrey Rybalchenko	HSF(C): A Software Verifier Based on Horn Clauses - (Competition Contribution).	TACAS	2012	DBLP DOI BibTeX RDF
29	Ronald Bhuleskar, Anoop Sherlekar, Anala Pandit	Hybrid Spam E-mail Filtering.	CICSyN	2009	DBLP DOI BibTeX RDF	HSF, spam coefficient, legitimate coefficient, whitelist, forging, spam mean, Self Improvisation, self learning technique, Filter, Filtering, Spam, Email, Hybrid, content based filtering, Parallel model, blacklist
28	Enrique Alba 0001, Francisco Chicano	Searching for liveness property violations in concurrent systems with ACO.	GECCO	2008	DBLP DOI BibTeX RDF	HSF-SPIN, ant colony optimization, metaheuristics, SPIN, liveness properties
28	Enrique Alba 0001, Francisco Chicano	Finding safety errors with ACO.	GECCO	2007	DBLP DOI BibTeX RDF	HSF-SPIN, ant colony optimization, metaheuristics, SPIN
28	Stefan Edelkamp, Stefan Leue, Alberto Lluch-Lafuente	Partial-order reduction and trail improvement in directed model checking.	Int. J. Softw. Tools Technol. Transf.	2004	DBLP DOI BibTeX RDF	Trail improvement, HSF-SPIN, Model checking, Heuristic search, Partial-order reduction
21	Dragan Bosnacki, Stefan Leue, Alberto Lluch-Lafuente	Partial-order reduction for general state exploring algorithms.	Int. J. Softw. Tools Technol. Transf.	2009	DBLP DOI BibTeX RDF
21	Moris Behnam, Thomas Nolte, Reinder J. Bril	Refining SIRAP with a dedicated resource ceiling for self-blocking.	EMSOFT	2009	DBLP DOI BibTeX RDF	SIRAP, real-time open systems, real-time subsystem integration, resource-sharing, hierarchical scheduling, synchronization protocol
21	Mladen Stanojevic, Sanja Vranes	Applying Neural Networks to Knowledge Representation and Determination of Its Meaning.	BVAI	2007	DBLP DOI BibTeX RDF	Localist Approach, Neural Networks, Knowledge Representation, Natural Language
21	Dragan Bosnacki, Stefan Leue, Alberto Lluch-Lafuente	Partial-Order Reduction for General State Exploring Algorithms.	SPIN	2006	DBLP DOI BibTeX RDF
21	Shahid Jabbar, Stefan Edelkamp	Parallel External Directed Model Checking with Linear I/O.	VMCAI	2006	DBLP DOI BibTeX RDF
21	Sylvain Brugnot, Marie L. Smith, Philippe G. Schyns	Seamless perceptual morphing using continuous hybrids.	APGV	2005	DBLP DOI BibTeX RDF
21	Shahid Jabbar, Stefan Edelkamp	I/O Efficient Directed Model Checking.	VMCAI	2005	DBLP DOI BibTeX RDF
21	D. G. McVitie, L. B. Wilson	The Stable Marriage Problem.	Commun. ACM	1971	DBLP DOI BibTeX RDF