5251 search results - page 750 / 1051 » A Framework for Ontology Integration |
190
Voted
DATE
2002
IEEE
16 years 14 days ago
2002
IEEE
The core computation in BDD-based symbolic synthesis and verification is forming the image and pre-image of sets of states under the transition relation characterizing the sequen...
172
Voted
HICSS
2002
IEEE
16 years 14 days ago
2002
IEEE
In this paper, we investigate innovative techniques of achieving software flexibility in a workflow environment. We believe that by incorporating workflow technology and intellige...
174
Voted
ITC
2002
IEEE
16 years 13 days ago
2002
IEEE
—Logic optimization is the step of the very large scale integration (VLSI) design cycle where the designer performs modifications on a design to satisfy different constraints suc...
185
Voted
AISC
2010
Springer
16 years 10 days ago
2010
Springer
Abstract. MKM has been defined as the quest for technologies to manage mathematical knowledge. MKM “in the small” is well-studied, so the real problem is to scale up to large,...
198
Voted
MDM
2010
Springer
16 years 9 days ago
2010
Springer
—Current smartphones have a storage capacity of several gigabytes. More and more information is stored on mobile devices. To meet the challenge of information organization, we tu...