166 search results - page 8 / 34 » An Intermediate Expressions' Generator System in the MPEG-4 ... |
ICST
2008
IEEE
14 years 1 months ago
2008
IEEE
This paper presents a MOF-compliant metamodel for calculating software metrics and demonstrates how it is used to generate a metrics tool that calculates coupling and cohesion met...
ICDE
2008
IEEE
14 years 8 months ago
2008
IEEE
Developments in semantic search technology have motivated the need for efficient and scalable entity annotation techniques. We demonstrate RAD: a tool for Rapid Annotator Developme...
PADL
2005
Springer
14 years 26 days ago
2005
Springer
Abstract. Provably correct compilation is an important aspect in development of high assurance software systems. In this paper we explore approaches to provably correct code genera...
ICDAR
2009
IEEE
13 years 5 months ago
2009
IEEE
In this paper, we propose a new framework for online handwritten mathematical expression recognition. The proposed architecture aims at handling mathematical expression recognitio...
SEC
2008
13 years 8 months ago
2008
Many applications inherently disclose information because perfect privacy protection is prohibitively expensive. RFID tags, for example, cannot be equipped with the cryptographic p...