6045 search results - page 869 / 1209 » Computable Linearizations of Well-partial-orderings |
194
click to vote
TAMC
2010
Springer
16 years 19 days 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 ...
219
Voted
3DPVT
2002
IEEE
16 years 16 days 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...
196
click to vote
CODES
2002
IEEE
16 years 16 days 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...
211
click to vote
FGR
2002
IEEE
16 years 16 days 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...
259
click to vote
ICNP
2002
IEEE
16 years 16 days 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...