2944 search results - page 77 / 589 » Robust Semantic Construction |
183
click to vote
AISC
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. We introduce and study a tactic language, Hitac, for constructing hierarchical proofs, known as hiproofs. The idea of hiproofs is to superimpose a labelled hierarchical n...
141
click to vote
CII
2010
15 years 5 months ago
2010
: The Unified Enterprise Modelling Language (UEML) aims to support integrated use of enterprise and IS models expressed in a variety of languages. The achieve this aim, UEML provid...
166
click to vote
ECCV
2008
Springer
16 years 7 months ago
2008
Springer
Most existing appearance models for visual tracking usually construct a pixel-based representation of object appearance so that they are incapable of fully capturing both global an...
177
click to vote
OSDI
2008
ACM
16 years 5 months ago
2008
ACM
Previous work showed that statistical analysis techniques could successfully be used to construct compact signatures of distinct operational problems in Internet server systems. B...
146
click to vote
COMCOM
2006
15 years 5 months ago
2006
TOPLUS is a lookup service for structured peer-to-peer networks that is based on the hierarchical grouping of peers according to network IP prefixes. In this paper we present MULT...