8874 search results - page 383 / 1775 » A New Implementation of Automath |
159
click to vote
CVPR
2005
IEEE
16 years 8 months ago
2005
IEEE
Statistical models for tracking different moving bodies must be able to reason about occlusions in order to be effective. Representing the joint statistics across different bodies...
157
click to vote
DAC
2005
ACM
16 years 7 months ago
2005
ACM
In this paper, we present a new linear-time retiming algorithm that produces near-optimal results. Our implementation is specifically targeted at Altera's Stratix [1] FPGAbas...
154
click to vote
DAC
2006
ACM
16 years 7 months ago
2006
ACM
Packet editing is a fundamental building block of data communication systems such as switches and routers. Circuits that implement this function are critical and define the featur...
179
click to vote
WWW
2009
ACM
16 years 7 months ago
2009
ACM
In this paper, we describe the fully dynamic semantic portal we implemented, integrating Semantic Web technologies and Service Oriented Architecture (SOA). The goals of the portal...
190
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
The goal of this poster is to describe our implementation of a new architecture enabling efficient integration between mobile phone applications and Web Services. Using this archi...