2239 search results - page 230 / 448 » Computing with abstract matrix structures |
159
click to vote
STACS
2009
Springer
16 years 1 months ago
2009
Springer
The homomorphism problem for relational structures is an abstract way of formulating constraint satisfaction problems (CSP) and various problems in database theory. The decision ve...
179
click to vote
TLCA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We investigate the question of what constitutes a proof when quantifiers and multiplicative units are both present. On the technical level this paper provides two new as...
158
click to vote
DSN
2008
IEEE
16 years 29 days ago
2008
IEEE
Soft state in the middle tier is key to enabling scalable and responsive three tier service architectures. While softstate can be reconstructed upon failure, replicating it across...
193
click to vote
LSSC
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. Multiple sequence alignment is a key process in today’s biology, and finding a relevant alignment of several sequences is much more challenging than just optimizing so...
178
click to vote
TLCA
2007
Springer
16 years 18 days ago
2007
Springer
We propose type systems that abstractly interpret small-step rather than big-step operational semantics. We treat an expression or evaluation context as a structure in a linear log...