Sciweavers

927 search results - page 95 / 186
» Detection of Simple Plagiarism in Computer Science Papers
Sort
View
ERSHOV
2009
Springer
15 years 2 months ago
From Dynamic to Static and Back: Riding the Roller Coaster of Information-Flow Control Research
Abstract. Historically, dynamic techniques are the pioneers of the area of information flow in the 70's. In their seminal work, Denning and Denning suggest a static alternativ...
Andrei Sabelfeld, Alejandro Russo
GI
2010
Springer
15 years 1 months ago
Query Languages for Semantic Web Services
: Even though service discovery is one of the vital steps in Web service invocation, service requests are usually expressed by rather simple means. While syntax-based service descr...
Stefan Schulte 0002, Melanie Siebenhaar, Julian Ec...
TCSV
2011
14 years 11 months ago
Perceptual Quality Assessment of Video Considering Both Frame Rate and Quantization Artifacts
In this paper, we explore the impact of frame rate and quantization on perceptual quality of a video. We propose to use the product of a spatial quality factor that assesses the q...
Yen-Fu Ou, Zhan Ma, Tao Liu, Yao Wang
CAD
2011
Springer
14 years 8 months ago
Industrial design using interpolatory discrete developable surfaces
Design using free-form developable surfaces plays an important role in manufacturing industry. Currently most commercial systems can only support converting free-form surfaces int...
Yong-Jin Liu, Kai Tang, Wen-Yong Gong, Tie-Ru Wu
SOFSEM
2010
Springer
16 years 1 months ago
Practically Applicable Formal Methods
Abstract. Formal methods are considered to be highly expensive. Therefore, they are currently applied almost only in high risk software development. In this paper, we show that for...
Jedrzej Fulara, Krzysztof Jakubczyk