Sciweavers

700 search results - page 86 / 140
» A Tools Environment for Developing and Reasoning about Ontol...
Sort
View
108
Voted
HYBRID
2005
Springer
15 years 7 months ago
Interchange Formats for Hybrid Systems: Review and Proposal
Interchange formats have been the backbone of the EDA industry for several years. They are used as a way of helping the development of design flows that integrate foreign tools us...
Alessandro Pinto, Alberto L. Sangiovanni-Vincentel...
CAV
2012
Springer
265views Hardware» more  CAV 2012»
13 years 4 months ago
An Axiomatic Memory Model for POWER Multiprocessors
The growing complexity of hardware optimizations employed by multiprocessors leads to subtle distinctions among allowed and disallowed behaviors, posing challenges in specifying th...
Sela Mador-Haim, Luc Maranget, Susmit Sarkar, Kayv...
COLING
2002
15 years 1 months ago
Building a Bilingual WordNet-Like Lexicon: The New Approach and Algorithms
A bilingual concept MRD is of significance for IE, MT, WSD and the like. However, it is reasonably difficult to build such a lexicon for there exist two ontologies, also, the evol...
Yang Liu, Shiwen Yu, Jiangsheng Yu
INFSOF
2008
108views more  INFSOF 2008»
15 years 1 months ago
Effectively utilizing project, product and process knowledge
Improving project management, product development and engineering processes is for many companies crucial to survive in a fast changing environment. However, these activities are ...
Christof Ebert, Jozef De Man
IJAR
2010
151views more  IJAR 2010»
15 years 22 hour ago
Envisioning uncertainty in geospatial information
Geospatial Reasoning has been an essential aspect of military planning since the invention of cartography. Although maps have always been a focal point for developing situational ...
Kathryn B. Laskey, Edward J. Wright, Paulo Cesar G...