8903 search results - page 175 / 1781 » Alternative |
193
click to vote
UTP
2010
15 years 4 months ago
2010
This paper presents an approach for modelling interactions between users and systems in the Unifying Theories of Programming. Working in the predicate calculus, we outline generic ...
137
click to vote
ACL
2010
15 years 4 months ago
2010
Letter-phoneme alignment is usually generated by a straightforward application of the EM algorithm. We explore several alternative alignment methods that employ phonetics, integer...
186
click to vote
EUSFLAT
2009
15 years 4 months ago
2009
This paper presents a continuation of the study on a mathematical morphology based on left-continuous conjunctive uninorms given in [1]. Experimental results are displayed using th...
124
click to vote
BC
2010
15 years 3 months ago
2010
We present two alternative mappings between a macroscopic neural mass model and a reduction of a conductance-based model. These provide possible explanations of the relationship b...
192
click to vote
ECCC
2010
15 years 1 months ago
2010
We present an alternate proof of the recent result by Gutfreund and Kawachi that derandomizing Arthur-Merlin games into PNP implies linear-exponential circuit lower bounds for ENP...