7681 search results - page 1416 / 1537 » Typed Membrane Systems |
137
click to vote
KR
1992
Springer
15 years 8 months ago
1992
Springer
Abstract, We consider the problem of integrating Reiter's default logic into terminological representation systems. It turns out that such an integration is less straightforwa...
124
click to vote
ACMACE
2007
ACM
15 years 8 months ago
2007
ACM
We present a system that allows users of any skill to conduct a virtual orchestra. Tempo and volume of the orchestra's performance are influenced with a baton. Pinocchio work...
148
click to vote
BTW
2007
Springer
15 years 8 months ago
2007
Springer
: Schema mapping techniques for data exchange have become popular and useful tools both in research and industry. A schema mapping relates a source schema with a target schema via ...
141
click to vote
CCS
2007
ACM
15 years 8 months ago
2007
ACM
Trusted Computing (TC) is an emerging technology towards building trustworthy computing platforms. The Trusted Computing Group (TCG) has proposed several specifications to impleme...
148
click to vote
DASFAA
2007
IEEE
15 years 8 months ago
2007
IEEE
Cache groups are a powerful concept for database caching, which is used to relieve the backend database load and to keep referenced data close to the application programs at the &q...