1306 search results - page 109 / 262 » A Diagrammatic Approach to Model Completion |
140
Voted
CADE
2012
Springer
13 years 3 months ago
2012
Springer
Abstract. This paper describes a novel decision procedure for quantifierfree linear integer arithmetic. Standard techniques usually relax the initial problem to the rational domai...
65
Voted
ACL
2008
15 years 2 months ago
2008
Traditional wisdom holds that once documents are turned into bag-of-words (unigram count) vectors, word orders are completely lost. We introduce an approach that, perhaps surprisi...
114
Voted
INFOCOM
2011
IEEE
14 years 4 months ago
2011
IEEE
—Unbalanced traffic demands of different data center applications are an important issue in designing Data center networks (DCNs). In this paper, we present our exploratory inve...
111
click to vote
CVPR
2004
IEEE
16 years 2 months ago
2004
IEEE
In this paper, we propose a probabilistic videobased facial expression recognition method on manifolds. The concept of the manifold of facial expression is based on the observatio...
146
Voted
JELIA
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. A new logic is proposed for reasoning about quantum systems. The logic embodies the postulates of quantum physics and it was designed from the semantics upwards by identi...