Sciweavers

665 search results - page 103 / 133
» A proposal for an owl rules language
Sort
View
ER
2007
Springer
130views Database» more  ER 2007»
16 years 8 days ago
Towards Automated Reasoning on ORM Schemes
The goal of this article is to formalize Object Role Modeling (ORM) using the DLR description logic. This would enable automated reasoning on the formal properties of ORM diagrams,...
Mustafa Jarrar
PLDI
2003
ACM
15 years 11 months ago
A compiler framework for speculative analysis and optimizations
Speculative execution, such as control speculation and data speculation, is an effective way to improve program performance. Using edge/path profile information or simple heuristi...
Jin Lin, Tong Chen, Wei-Chung Hsu, Pen-Chung Yew, ...
IRI
2007
IEEE
16 years 12 days ago
The Certification of Software Tools with respect to Software Standards
Software development standards such as the UML provide complex modeling languages for specifying, visualizing, constructing, and documenting the artifacts of software systems [1]....
Panuchart Bunyakiati, Anthony Finkelstein, David S...
140
Voted
ITNG
2007
IEEE
16 years 11 days ago
A Mobile Context Dissemination Middleware
Context information is one of the most important data coming from mobile devices to add a value for the application execution. This paper introduces a context dissemination middle...
Guido Gehlen, Fahad Aijaz, Muhammad Sajjad, Bernha...
MM
2005
ACM
126views Multimedia» more  MM 2005»
15 years 11 months ago
A corpus-based singing voice synthesis system for mandarin Chinese
In this paper, the design and implementation of a corpus-based singing voice synthesis (SVS) system for Mandarin Chinese was introduced. The design rules of three corpora for sing...
Cheng-Yuan Lin, Tzu-Ying Lin, Jyh-Shing Roger Jang