Sciweavers

6343 search results - page 292 / 1269
» Development of a Cartographic Language
Sort
View
MSE
2003
IEEE
92views Hardware» more  MSE 2003»
15 years 12 months ago
On simulating the IP Market Dynamics in an Academic Environment Using SystemC
As SoC (System-on-a-chip) methodology emerges, IP (Intellectual Property) development and integration will play a major role in the hightech industry. To prepare for this future t...
Ghaiyyur Quraishi, Ravi Shankar
BIRTHDAY
2008
Springer
15 years 8 months ago
From Monadic Logic to PSL
One of the surprising developments in the area of program verification is how ideas introduced originally by logicians in the 1950s ended up yielding by 2003 an industrial-standard...
Moshe Y. Vardi
OWLED
2007
15 years 8 months ago
An Examination of OWL and the Requirements of a Large Health Care Terminology
This paper presents a brief initial look at some of the possible benefits and barriers to using OWL as the language for the development, dissemination and implementation of termin...
Kent A. Spackman
TSD
2009
Springer
16 years 1 months ago
Transcription of Catalan Broadcast Conversation
The paper describes aspects, methods and results of the development of an automatic transcription system for Catalan broadcast conversation by means of speech recognition. Emphasi...
Henrik Schulz, José A. R. Fonollosa, David ...
KBSE
2008
IEEE
16 years 29 days ago
Unifying Analysis Tools with Rosetta
The Rosetta system specification language will require a variety of analysis capabilities to assist system designers. The language’s generality prohibits the development of a s...
Nicolas Frisby