3946 search results - page 480 / 790 » The computational complexity of choice sets |
220
click to vote
INFORMATICALT
2007
15 years 6 months ago
2007
A modified version of the Bellare and Rogaway (1993) adversarial model is encoded using Asynchronous Product Automata (APA). A model checker tool, Simple Homomorphism Verificatio...
141
click to vote
MOC
1998
15 years 6 months ago
1998
Abstract. An iterative procedure for numerical conformal mapping is presented which imposes no restriction on the boundary complexity. The formulation involves two analytically equ...
220
click to vote
BMVC
2010
15 years 4 months ago
2010
Gaussian processes have been widely used as a method for inferring the pose of articulated bodies directly from image data. While able to model complex non-linear functions, they ...
157
click to vote
ACL
2009
15 years 4 months ago
2009
Supervised sequence-labeling systems in natural language processing often suffer from data sparsity because they use word types as features in their prediction tasks. Consequently...
179
click to vote
EGC
2009
Springer
15 years 4 months ago
2009
Springer
Abstract Ontology alignment is an important task for information integration systems that can make different resources, described by various and heterogeneous ontologies, interoper...