4352 search results - page 122 / 871 » A Representation Theorem and Applications |
221
click to vote
DAC
2006
ACM
16 years 7 months ago
2006
ACM
- Classical two-variable symmetries play an important role in many EDA applications, ranging from logic synthesis to formal verification. This paper proposes a complete circuit-bas...
168
click to vote
ALDT
2009
Springer
16 years 28 days ago
2009
Springer
Abstract. The stable marriage problem has many practical applications in twosided markets like those that assign doctors to hospitals, students to schools, or buyers to vendors. Mo...
152
click to vote
SEMWEB
2009
Springer
16 years 26 days ago
2009
Springer
Ontologies are entities that evolve over time, therefore it is essential to represent and manage changes to ontologies along with the ontologies themselves. In this paper we propos...
135
click to vote
SEMWEB
2009
Springer
16 years 26 days ago
2009
Springer
A modelling procedure consists of a sequence of modelling tasks. With the increasing size of models during the development, the relations among modelling objects and their correspo...
152
click to vote
CCGRID
2007
IEEE
16 years 20 days ago
2007
IEEE
Abstract— In order to efficiently use Grid resources, users or middlewares must use some network information, and in particular some knowledge of the platform network. As such kn...