6045 search results - page 869 / 1209 » Computable Linearizations of Well-partial-orderings |
176
click to vote
TAMC
2010
Springer
15 years 12 months ago
2010
Springer
We study possible formulations of algebraic propositional proof systems operating with noncommutative formulas. We observe that a simple formulation gives rise to systems at least ...
187
click to vote
3DPVT
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper we present a method for protein structure comparison that is based on indexing. Unlike most methods using indexing, ours does not use invariants of the C atoms of th...
171
click to vote
CODES
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper describes the formal verification of the recently introduced Dual Transition Petri Net (DTPN) models [12], using model checking techniques. The methodology presented a...
186
Voted
FGR
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper, we present a scheme for face authentication in the presence of variations. To deal with variations, such as facial expressions and registration errors, with which t...
231
click to vote
ICNP
2002
IEEE
15 years 11 months ago
2002
IEEE
— This paper describes a novel, ultra-fast heuristic algorithm to address an NP-hard optimization problem. One of its significances is that, for the first time, the paper shows...