English
Related papers

Related papers: Technical Report: CSVM Ecosystem

200 papers

How many times have you tried to re-implement a past CAV tool paper, and failed? Reliably reproducing published scientific discoveries has been acknowledged as a barrier to scientific progress for some time but there remains only a small…

Logic in Computer Science · Computer Science 2015-02-10 Tom Crick , Benjamin A. Hall , Samin Ishtiaq

The growing gap between data and users calls for innovative tools that address the challenges faced by big data volume, velocity and variety. Along with these standard three V's of big data, an emerging fourth "V" is veracity, which…

Cryptography and Security · Computer Science 2015-05-26 Jeremy Kepner , Vijay Gadepally , Pete Michaleas , Nabil Schear , Mayank Varia , Arkady Yerukhimovich , Robert K. Cunningham

The paper introduces a tool prototype that combines SHACL's capabilities with ad-hoc validation functions to create a controlled and user-friendly form interface for producing valid RDF data. The proposed tool is developed within the…

Databases · Computer Science 2023-07-06 Elia Rizzetto , Arcangelo Massari , Ivan Heibi , Silvio Peroni

Connected vehicles (CVs) can capture and transmit detailed data through vehicle-to-vehicle and vehicle-to-infrastructure communications, which bring new opportunities to improve the safety, mobility, and sustainability of transportation…

Signal Processing · Electrical Eng. & Systems 2018-11-16 Lei Lin , Weizi Li , Srinivas Peeta

Most modern applications interact with external services and access data in structured formats such as XML, JSON and CSV. Static type systems do not understand such formats, often making data access more cumbersome. Should we give up and…

Programming Languages · Computer Science 2016-05-11 Tomas Petricek , Gustavo Guerra , Don Syme

How can an author store digital information so that it will be reliably useful, even years later when he is no longer available to answer questions? Methods that might work are not good enough; what is preserved today should be reliably…

Digital Libraries · Computer Science 2007-05-23 H. M. Gladney , R. A. Lorie

The recomputability and reproducibility of results from scientific software requires access to both the source code and all associated input and output data. However, the full collection of these resources often does not accompany the key…

Computational Engineering, Finance, and Science · Computer Science 2015-12-24 Christian T. Jacobs , Alexandros Avdis , Gerard J. Gorman , Matthew D. Piggott

NVMe SSD hardware has witnessed widespread deployment as commodity and enterprise hardware due to its high performance and rich feature set. Despite the open specifications of various NVMe protocols by the NVMe Express group and NVMe being…

Operating Systems · Computer Science 2024-11-12 Simon A. F. Lund , Vivek Shah

Although a standard in natural science, reproducibility has been only episodically applied in experimental computer science. Scientific papers often present a large number of tables, plots and pictures that summarize the obtained results,…

Digital Libraries · Computer Science 2017-09-06 Fernando Chirigati , Rebecca Capone , Dennis Shasha , Remi Rampin , Juliana Freire

Pool of knowledge available to the mankind depends on the source of learning resources, which can vary from ancient printed documents to present electronic material. The rapid conversion of material available in traditional libraries to…

Computer Vision and Pattern Recognition · Computer Science 2014-12-25 Akmal Jahan Mac , Roshan G Ragel

As data grows in size and complexity, finding frameworks which aid in interpretation and analysis has become critical. This is particularly true when data comes from complex systems where extensive structure is available, but must be drawn…

Machine Learning · Computer Science 2021-05-24 Henry Kvinge , Brett Jefferson , Cliff Joslyn , Emilie Purvine

We report on the progress of the development of CVcat, an interactive catalogue on Cataclysmic Variables, which is the first application based on AstroCat, a general framework for the installation and maintenance of web-based interactive…

Astrophysics · Physics 2007-05-23 F. Euchner , A. Pollmer , B. T. Gaensicke , J. Kube , K. Beuermann

The chemical sciences are producing an unprecedented amount of large, high-dimensional data sets containing chemical structures and associated properties. However, there are currently no algorithms to visualize such data while preserving…

Human-Computer Interaction · Computer Science 2020-01-07 Daniel Probst , Jean-Louis Reymond

The support vector machines (SVM) algorithm is a popular classification technique in data mining and machine learning. In this paper, we propose a distributed SVM algorithm and demonstrate its use in a number of applications. The algorithm…

Machine Learning · Computer Science 2019-05-02 Taiping He , Tao Wang , Ralph Abbey , Joshua Griffin

We introduce an open source Tensorflow implementation of the Deep Video Compression (DVC) method in this technical report. DVC is the first end-to-end optimized learned video compression method, achieving better MS-SSIM performance than the…

Image and Video Processing · Electrical Eng. & Systems 2020-08-05 Ren Yang , Luc Van Gool , Radu Timofte

Scientific processes rely on software as an important tool for data acquisition, analysis, and discovery. Over the years sustainable software development practices have made progress in being considered as an integral component of research.…

Software Engineering · Computer Science 2023-12-21 Akash Dhruv , Anshu Dubey

Reproducibility of computational results remains a challenge in materials science, as simulation workflows and parameters are often reported only in unstructured text and tables. While literature data are valuable for validation and reuse,…

A central challenge in science is to understand how systems behaviors emerge from complex networks. This often requires aggregating, reusing, and integrating heterogeneous information. Supplementary spreadsheets to articles are a key data…

Massive volumes of high-dimensional data that evolves over time is continuously collected by contemporary information processing systems, which brings up the problem of organizing this data into clusters, i.e. achieve the purpose of…

Machine Learning · Computer Science 2019-10-22 Di Xu , Tianhang Long , Junbin Gao

The VISTA Data Flow System comprises nightly pipeline and archiving of near infrared data from UKIRT-WFCAM and VISTA. This includes multi-epoch data which can be used to find moving and variable objects. We have developed a new model for…

Instrumentation and Methods for Astrophysics · Physics 2009-01-26 Nicholas Cross , Ross Collins , Nigel Hambly , Mike Read , Eckhard Sutorius
‹ Prev 1 8 9 10 Next ›