1737 search results - page 38 / 348 » On Interpolation in Existence Logics |
149
click to vote
GLVLSI
2006
IEEE
16 years 4 days ago
2006
IEEE
Most of the logic synthesis algorithms are not scalable for large networks and, for this reason, partitioning is often applied. However traditional mincut-based partitioning techn...
147
click to vote
CLIMA
2007
15 years 7 months ago
2007
Over the years, Logic Programming has proved to be a good and natural tool for expressing, querying and manipulating explicit knowledge in many areas of computer science. However, ...
168
click to vote
EON
2008
15 years 7 months ago
2008
One of the arguments for choosing description logics as the basis for the Web Ontology Language is the ability to support the development of complex ontologies through logical reas...
167
Voted
ICPPW
2008
IEEE
16 years 16 days ago
2008
IEEE
Event traces are helpful in understanding the performance behavior of message-passing applications since they allow in-depth analyses of communication and synchronization patterns...
124
click to vote
FLAIRS
1998
15 years 7 months ago
1998
"Impossibility, theorems"haverecently appearedin the AIliterature whichhavebeeninterpreted as forbidding truth-functional uncertainty calculi. Such"logicist" c...