630 search results - page 51 / 126 » Symbolic Domain Decomposition |
142
Voted
EMSOFT
2007
Springer
15 years 9 months ago
2007
Springer
We provide an algebraic formalisation of connectors in BIP. These are used to structure interactions in a component-based system. A connector relates a set of typed ports. Types a...
96
Voted
GI
2005
Springer
15 years 9 months ago
2005
Springer
: We present a novel symbolic approach to extract domain-specific technical features of products from large German corpora. Our prototypical implementation extracts terms like “A...
126
Voted
CL
2000
Springer
15 years 7 months ago
2000
Springer
Boolean circuits offer a natural, structured, and compact representation of Boolean functions for many application domains. In this paper a tableau method for solving satisfiabilit...
139
Voted
ICRA
2005
IEEE
15 years 9 months ago
2005
IEEE
— In this paper a novel formalism to characterize contact states between an articulated polyhedral object and a polyhedral environment for the generation of the graph of feasible...
141
click to vote
ICCV
2007
IEEE
16 years 5 months ago
2007
IEEE
We introduce the Tsallis divergence error measure in the context of pLSA matrix and tensor decompositions showing much improved performance in the presence of noise. The focus of ...