5210 search results - page 216 / 1042 » Computing Capabilities of Mediators |
153
click to vote
ENTCS
2008
15 years 4 months ago
2008
Normalization for the simply-typed -calculus is proven in Twelf, an implementation of the Edinburgh Logical Framework. Since due to proof-theoretical restrictions Twelf Tait'...
110
click to vote
GI
2009
Springer
15 years 2 months ago
2009
Springer
: The Sensor Integration Package is a reusable subsystem, combining the complementary capabilities of radar, infra red and long range day light camera, laser, image processing soft...
155
click to vote
CVPR
2010
IEEE
15 years 2 months ago
2010
IEEE
Though modern Visual Simultaneous Localisation and Mapping (vSLAM) systems are capable of localising robustly and efficiently even in the case of a monocular camera, the maps prod...
141
Voted
COLING
2010
14 years 11 months ago
2010
We consider the task of summarizing a cluster of related sentences with a short sentence which we call multi-sentence compression and present a simple approach based on shortest p...
124
Voted
PERCOM
2005
ACM
16 years 4 months ago
2005
ACM
Preserving one's uniquely customized computing environment as one moves to different locations is an enduring challenge in mobile computing. We examine why this capability is...