Search results for "RSF"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
127	Michel Zitt, Suzy Ramanana-Rahary, Elise Bassecoulard	Bridging citation and reference distributions: Part I - The referencing-structure function and its application to co-citation and co-item studies.	Scientometrics	2003	DBLP DOI BibTeX RDF
107	Michela Degl'Innocenti, Gian-Luigi Ferrari 0002, Giuliano Pacini, Franco Turini	RSF: A Formalism for Executable Requirement Specifications.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	RSF, executable requirement specifications, occurrence times, logic programming, queries, rapid prototyping, events, time constraints, formalism, software prototyping, answers, transition rules
106	Julien Hué, Odile Papini, Éric Würbel	Syntactic Propositional Belief Bases Fusion with Removed Sets.	ECSQARU	2007	DBLP DOI BibTeX RDF
76	Giancarlo Nota, Giuliano Pacini	Querying of Executable Software Specifications.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	executable software specifications, requirements specification phase, external events, language RSQ, RSF, formal specification, query languages, specification languages, specification languages, querying, rapid prototyping, software designer, time constraints, software prototyping
64	Jing Yang 0001, Matthew O. Ward, Elke A. Rundensteiner	InterRing: An Interactive Tool for Visually Navigating and Manipulating Hierarchical Structures.	INFOVIS	2002	DBLP DOI BibTeX RDF	Radial space-filling hierarchy visualization, multi-focus distortion, structure-based brushing
42	Umut Orguner, Fredrik Gustafsson	Risk-Sensitive Particle Filters for Mitigating Sample Impoverishment.	IEEE Trans. Signal Process.	2008	DBLP DOI BibTeX RDF
42	Juan Frausto Solís, Marco Antonio Cruz-Chavez	A Reduced Codification for the Logical Representation of Job Shop Scheduling Problems.	ICCSA (4)	2004	DBLP DOI BibTeX RDF	the propositional satisfiability problem (SAT), Latest starting time, SAT formula, Job shop scheduling
42	Andrea F. Abate, C. D'apolito, Giancarlo Nota, Giuliano Pacini	Querying and Analysis of Software Specifications.	SEKE	1992	DBLP DOI BibTeX RDF
31	Daniel Eberz-Eder, Franz Kuntke, Gerwin Brill, Ansgar Bernardi, Christian Wied, Philippe Nuderscher, Christian Reuter 0001	Prototypische Entwicklungen zur Umsetzung des Resilient Smart Farming (RSF) mittels Edge Computing.	GIL Jahrestagung	2023	DBLP BibTeX RDF
31	Franz Kuntke, Daniel Eberz-Eder, Matthias Trapp 0002, Christian Reuter 0001	RSF-Lab'23: Konzepte und Anwendungen zur resilienten digitalen Landwirtschaft.	GI-Jahrestagung	2023	DBLP DOI BibTeX RDF
31	David Deng, Avideh Zakhor	RSF: Optimizing Rigid Scene Flow From 3D Point Clouds Without Labels.	WACV	2023	DBLP DOI BibTeX RDF
31	Huina Song, Han Wu, Mengyuan Wang, Jiayi Cao, Junliang Xie, Yingcheng Ding, Hua Zhong 0001	Detection of Lake Shoreline Based on Modified RSF Model Combined With Edge Energy and Global Energy for SAR Images.	IEEE Geosci. Remote. Sens. Lett.	2022	DBLP DOI BibTeX RDF
31	Qile Zhang, Xiaoliang Jiang	Image segmentation using active contour model driven by RSF and difference of Gaussian energy.	Int. J. Inf. Commun. Technol.	2022	DBLP DOI BibTeX RDF
31	Daniel Eberz-Eder, Franz Kuntke, Christian Reuter 0001	Sensibilität für Resilient Smart Farming (RSF) und seine Bedeutung in Krisenzeiten.	GIL Jahrestagung	2022	DBLP BibTeX RDF
31	Christian Reuter 0001, Daniel Eberz-Eder, Franz Kuntke, Matthias Trapp 0002	RSF-Lab'22: Resilient Smart Farming Laboratory: Für eine widerstandsfähige und intelligente Landwirtschaft.	GI-Jahrestagung	2022	DBLP DOI BibTeX RDF
31	Farhad Khosrojerdi	RSF 2 PV Project.		2021	DOI RDF
31	Daniel Eberz-Eder, Franz Kuntke, Wolfgang Schneider, Christian Reuter 0001	Technologische Umsetzung des Resilient Smart Farming (RSF) durch den Einsatz von Edge Computing.	GIL Jahrestagung	2021	DBLP BibTeX RDF
31	Ludivine Morvan, Thomas Carlier, Bastien Jamet, Clément Bailly, Caroline Bodet-Milin, Philippe Moreau, Françoise Kraeber-Bodéré, Diana Mateus	Leveraging RSF and PET images for prognosis of multiple myeloma at diagnosis.	Int. J. Comput. Assist. Radiol. Surg.	2020	DBLP DOI BibTeX RDF
31	Christian Reuter 0001, Wolfgang Schneider, Daniel Eberz	Resilient Smart Farming (RSF) - Nutzung digitaler Technologien in krisensicherer Infrastruktur.	GIL Jahrestagung	2019	DBLP BibTeX RDF
31	Victor Mayoral Vilches, Laura Alzola Kirschgens, Asier Bilbao Calvo, Alejandro Hernández Cordero, Rodrigo Izquierdo Pisón, David Mayoral Vilches, Aday Muñiz Rosas, Gorka Olalde Mendia, Lander Usategui San Juan, Irati Zamalloa Ugarte, Endika Gil-Uriarte, Erik Tews, Andreas Peter	Introducing the Robot Security Framework (RSF), a standardized methodology to perform security assessments in robotics.	CoRR	2018	DBLP BibTeX RDF
31	Fanghua Ye 0001, Zibin Zheng, Chuan Chen 0001, Yuren Zhou	DC-RSF: A Dynamic and Customized Reputation System Framework for Joint Cloud Computing.	ICDCS Workshops	2017	DBLP DOI BibTeX RDF
31	Renping Yu, Liang Xiao 0001, Zhihui Wei, Xuan Fei	Automatic Segmentation of White Matter Lesions Using SVM and RSF Model in Multi-channel MRI.	ICIG (1)	2015	DBLP DOI BibTeX RDF
31	Federico Del Razo López, Anne Laurent, Pascal Poncelet, Maguelonne Teisseire	RSF - A New Tree Mining Approach with an Ecient Data Structure.	EUSFLAT Conf.	2005	DBLP BibTeX RDF
31	Takashi Sato, Toshiki Kanamoto, Atsushi Kurokawa, Yoshiyuki Kawakami, Hiroki Oka, Tomoyasu Kitaura, Hiroyuki Kobayashi, Masanori Hashimoto	Accurate prediction of the impact of on-chip inductance on interconnect delay using electrical and physical parameter-based RSF.	ASP-DAC	2003	DBLP DOI BibTeX RDF
31	Rob Jackson	"So how are your hands?": thoughts from a CS student with RSF.	XRDS	1995	DBLP DOI BibTeX RDF
21	Dirk Beyer 0001	CCVisu: automatic visual software decomposition.	ICSE Companion	2008	DBLP DOI BibTeX RDF	force-directed graph layout, clustering, reverse engineering, software visualization, software quality assurance, software decomposition
21	Shaoshan Liu, Jean-Luc Gaudiot	Synchronization Mechanisms on Modern Multi-core Architectures.	Asia-Pacific Computer Systems Architecture Conference	2007	DBLP DOI BibTeX RDF
21	Thomas Gschwind, Martin Pinzger 0001, Harald C. Gall	TUAnalyzer -- Analyzing Templates in C++ Code.	WCRE	2004	DBLP DOI BibTeX RDF
21	Richard C. Holt, Ahmed E. Hassan, Bruno Laguë, Sébastien Lapierre, Charles Leduc	E/R Schema for the Datrix C/C++/Java Exchange Format.	WCRE	2000	DBLP DOI BibTeX RDF	Software exchange format, SEF, data exchange, schema, abstract syntax tree, AST
21	Richard C. Holt, Andreas Winter 0001, Andy Schürr	GXL: Toward a Standard Exchange Format.	WCRE	2000	DBLP DOI BibTeX RDF	software exchange format, typed attributed directed graphs, XML, tool interoperability
21	Guy Saint-Denis, Reinhard Schauer, Rudolf K. Keller	Selecting a Model Interchange Format: The SPOOL Case Study.	HICSS	2000	DBLP DOI BibTeX RDF