Sciweavers

LICS
2005
IEEE
14 years 1 months ago
Temporal Logics over Unranked Trees
We consider unranked trees, that have become an active subject of study recently due to XML applications, and characterize commonly used fragments of firstorder (FO) and monadic ...
Pablo Barceló, Leonid Libkin
ICALT
2005
IEEE
14 years 1 months ago
C-Cards in Music Education
The paper proposes a new way of introducing music to 8 to 10 year-old children, by adopting a recent educational tool for teaching Computer Science. Our proposal builds on computa...
Andrea Valente, Kirstin Lyon
ACSC
2005
IEEE
14 years 1 months ago
Measuring Semantic Similarity in the Taxonomy of WordNet
This paper presents a new model to measure semantic similarity in the taxonomy of WordNet, using edgecounting techniques. We weigh up our model against a benchmark set by human si...
Dongqiang Yang, David M. W. Powers
ACSC
2005
IEEE
14 years 1 months ago
SuperstringRep: Reputation-enhanced Service Discovery
1 Service discovery protocols are used in distributed systems to locate services for clients. The services that are located as well as the clients requesting service are commonly a...
Ryan Wishart, Ricky Robinson, Jadwiga Indulska
ACSC
2005
IEEE
14 years 1 months ago
Optimising Parallel Pattern-matching by Source-level Program Transformation
Parallel pattern-matching (PPM) provides true commutative implementation of functions defined by cases in functional languages, because no argument is given precedence over any o...
R. Lyndon While, Tony Field
ACSC
2005
IEEE
14 years 1 months ago
Fractal Image Compression on a Pseudo Spiral Architecture
Fractal image compression is a relatively recent image compression method which exploits similarities in different parts of the image. The basic idea is to represent an image by f...
Huaqing Wang, Meiqing Wang, Tom Hintz, Xiangjian H...
ACSC
2005
IEEE
14 years 1 months ago
A High Performance Kernel-Less Operating System Architecture
Operating Systems provide services that are accessed by processes via mechanisms that involve a ring transition to transfer control to the kernel where the required function is pe...
Amit Vasudevan, Ramesh Yerraballi, Ashish Chawla
ACSC
2005
IEEE
14 years 1 months ago
A Statistical-driven Approach for Automatic Classification of Events in AFL Video Highlights
Due to the repetitive and lengthy nature, automatic content-based summarization is essential to extract a more compact and interesting representation of sport video. State-of-the ...
Dian Tjondronegoro, Yi-Ping Phoebe Chen, Binh Pham
ACSC
2005
IEEE
14 years 1 months ago
Video Cut Detection using Frame Windows
Segmentation is the first step in managing data for many information retrieval tasks. Automatic audio transcriptions and digital video footage are typically continuous data sourc...
Seyed M. M. Tahaghoghi, Hugh E. Williams, James A....
ACSC
2005
IEEE
14 years 1 months ago
Flexible Exclusion Control for Composite Objects
We present a simple approach for implementing flexible locking strategies in a system of components, which may themselves be composite objects. The approach is flexible in that a ...
Abdelsalam Shanneb, John Potter