Sciweavers

4767 search results - page 409 / 954
» Structures for Abstract Rewriting
Sort
View
DLT
2007
15 years 8 months ago
State Complexity of Union and Intersection of Finite Languages
Abstract. We investigate the state complexity of union and intersection for finite languages. Note that the problem of obtaining the tight bounds for both operations was open. We ...
Yo-Sub Han, Kai Salomaa
FMOODS
2008
15 years 8 months ago
Modeling and Model Checking Software Product Lines
Abstract. Software product line engineering combines the individual developments of systems to the development of a family of systems consisting of common and variable assets. In t...
Alexander Gruler, Martin Leucker, Kathrin D. Schei...
HCI
2007
15 years 8 months ago
C-Band: A Flexible Ring Tag System for Camera-Based User Interface
Abstract. This paper proposed a new visual tag system for enhancing realworld media interaction using handheld camera devices. This paper also described performance evaluations of ...
Kento Miyaoku, Anthony Tang, Sidney Fels
MASCOTS
2008
15 years 8 months ago
Optimal Layered Multicast with Network Coding: Mathematical Model and Empirical Studies
Abstract--Recent advances in network coding research dramatically changed the underlying structure of optimal multicast routing algorithms and made them efficiently computable. Whi...
Ajay Gopinathan, Zongpeng Li
JURIX
2007
15 years 8 months ago
A Modular Framework for Ontology-based Representation of Patent Information
Abstract. In this paper, we present a new ontology-based formalism for representing patent information. The framework defines concepts and relations for the major aspects of paten...
Mark Giereth, Steffen Koch, Yiannis Kompatsiaris, ...