175 search results - page 33 / 35 » Implementing a Generic Component-Based Framework for Tele-Co... |
PLDI
2010
ACM
15 years 8 months ago
2010
ACM
Dependent types provide a strong foundation for specifying and verifying rich properties of programs through type-checking. The earliest implementations combined dependency, which...
116
Voted
ICVS
2001
Springer
15 years 3 months ago
2001
Springer
An increasing number of computer vision applications require on-line processing of data streams, preferably in real-time. This trend is fueled by the mainstream availability of low...
92
Voted
INFOVIS
2005
IEEE
15 years 4 months ago
2005
IEEE
We present PRISAD, the first generic rendering infrastructure for information visualization applications that use the accordion drawing technique: rubber-sheet navigation with gu...
115
click to vote
DAWAK
2001
Springer
15 years 3 months ago
2001
Springer
A fundamental task in multi-agent systems is matchmaking, which is to retrieve and classify service descriptions of agents that (best) match a given service request. Several approa...
101
Voted
WWW
2007
ACM
15 years 11 months ago
2007
ACM
Object-oriented programming is the current mainstream programming paradigm but existing RDF APIs are mostly tripleoriented. Traditional techniques for bridging a similar gap betwe...