5352 search results - page 294 / 1071 » Modeling the socio-cultural context |
173
click to vote
KR
2010
Springer
15 years 11 months ago
2010
Springer
We present a decidable class of first-order formulas in the general theory of stable models that can be instantiated even in the presence of function constants. The notion of an ...
158
click to vote
CODES
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper describes the functional specification and verification portions of El Greco, a system for high-level, heterogeneous functional specification, efficient compiled si...
191
click to vote
IEEEARES
2010
IEEE
15 years 11 months ago
2010
IEEE
Almost every company needs to process invoices to either claim money from their customers or to pay for products or services. Although companies are allowed to electronically proce...
177
click to vote
IPPS
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper presents a parallel phoneme recognition algorithm based on the continuous Hidden Markov Model (HMM). The parallel phoneme recognition algorithm distributes 3-state HMMs...
139
Voted
IWANN
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. We examine the effects of changing the coefficient of variation (CV) of the inter-stimulus interval on the CV of the output interspike interval (ISI), using constant magn...