2573 search results - page 323 / 515 » Combinations of Modal Logics |
184
click to vote
CADE
2004
Springer
16 years 6 months ago
2004
Springer
We show how well-known refinements of ordered resolution, in particular redundancy elimination and ordering constraints in combination with a selection function, can be used to obt...
149
click to vote
ATVA
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. Both proofs and trust relations play a role in security decisions, in particular in determining whether to execute a piece of code. We have developed a language, called B...
159
click to vote
VLDB
2005
ACM
16 years 1 days ago
2005
ACM
A key challenge for companies is to manage customer relationships as an asset. To create an effective toolkit for the analysis of customer relationships, a combination of relation...
259
click to vote
ISMVL
2010
IEEE
15 years 11 months ago
2010
IEEE
We outline DL-Media, an ontology mediated multimedia information retrieval system, which combines logic-based retrieval with multimedia featurebased similarity retrieval. An ontolo...
143
click to vote
RSP
2000
IEEE
15 years 11 months ago
2000
IEEE
We present a flexible, yet cost-effective prototyping platform for hybrid hardware/software systems. Our approach is based on combining off-the-shelf hardware components with cus...