The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
Apple plays an important role in modern agricultural economic. With the international trade competition and focus of apple consumption has been transferred from appearance quality to internal quality. Currently, people pay more attention to the potential of near infrared spectroscopy in nondestructive detection of fruits. In this paper, we measure the spectrum, sweetness and acidity of apples, use...
The Parfait static-code-analysis tool started as a research project at Sun Labs (now Oracle Labs) to address runtime and precision shortcomings of C and C++ static-code-analysis tools. After developers started to see and verify the research outcomes, they made further requests to ensure the tool would be easy to use and integrate. This helped transition Parfait from a research artifact to a developer...
Clustering is one of the most widely used techniques for exploratory data analysis. Across all disciplines, from social sciences over biology to computer science, people try to get a first intuition about their data by identifying meaningful groups among the data objects. K-means is one of the most famous clustering algorithms. Its simplicity and speed allow it to run on large data sets. However,...
In this paper we establish a general social intelligent algorithmic framework for packing problem under the help of the conception of social computing. In this framework, packing problem can be solved intelligently, with the same asymptotic bounds by applying the existing packing algorithms. More precisely, our framework is designed to intelligently adopt the most proper one among all the given existing...
This paper presents a fast efficient codeword search algorithm for vector quantization (VQ) based on the Adaptive Multi-Rate Wideband (AMR-WB) speech codec. AMR-WB is the speech codec standardized by the 3GPP for the GSM and WCDMA 3G system. It is also selected as the ITU-T G.722.2 standards. In AMR-WB speech codec VQ codeword search section, full search algorithm is used to find matching codeword...
In e-Science environment researchers intend to be informed of events related with their works, including the current states of computing services, service workload and so on. So it is necessary to provide a Publish/Subscribe System in e-Science environment. Also there are some issues in Broker Management in Publish/Subscribe System, such as the abnormal breakdown and the overload of broker. An effective...
In e-science environment researchers can submit complex tasks as scientific workflows. However, because the network may be blocked or even interrupted sometimes, it can hinder the researchers to submit tasks, as well as the overload on the server. Additionally, many tasks submitted by researchers may use the same resources, which may result in the overload of the specific resources. Meanwhile, some...
The growing number of crisis situations around the world in recent years has highlighted the urgent need to improve the capability of emergency response systems. When an emergency happens, the most important response is to promptly evacuate victims or potential victims from dangerous areas to safe places. The use of decision support systems can not only improve the efficiency of evacuation but also...
In the paper, a new parallel LZW-Like algorithm, bi-directory LZW algorithm (BD-LZW) will be interpreted. The new algorithm can be used in data compression/decompression system which runs on multi-microprocessor system, such as CELL, which the algorithm will be implemented on. Different from the conventional parallel LZW algorithm with one input directory, BD-LZW algorithm allows two threads reading...
Model checking is an automatic technique for verifying finite state concurrent systems. A rapid solution for the model checking problem is checking the emptiness of product Buchi automaton (BA) of the automaton for finite system and the one for the linear temporal logic (LTL) formula, so the algorithm for transforming LTL formula to BA is one of the bases of the whole model checking procedure. In...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.