5550 search results - page 772 / 1110 » Different Approaches to Proof Systems |
209
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
Abstract We present OntoWiki, a tool providing support for agile, distributed knowledge engineering scenarios. OntoWiki facilitates the visual presentation of a knowledge base as a...
193
click to vote
ISCA
1997
IEEE
15 years 11 months ago
1997
IEEE
The effectiveness of texture mapping in enhancing the realism of computer generated imagery has made support for real-time texture mapping a critical part of graphics pipelines. D...
183
click to vote
DAC
2007
ACM
15 years 11 months ago
2007
ACM
It is now widely believed that FlexRay will emerge as the predominant protocol for in-vehicle automotive communication systems. As a result, there has been a lot of recent interes...
227
click to vote
CLEF
2006
Springer
15 years 10 months ago
2006
Springer
In this paper we suggest a QA pilot task, dubbed QolA, whose joint rationale is allow for collaboration among systems, increase multilinguality and multicollection use, and investi...
214
click to vote
CCGRID
2001
IEEE
15 years 10 months ago
2001
IEEE
Charging of services in a distributed system will become more and more important for systems which are utilized commercially. Such an important distributed system exists in form o...