1218 search results - page 60 / 244 » The many facets of natural computing |
145
click to vote
SPIN
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. Model checking real programs has recently become an active research area. Programs however exhibit two characteristics that make model checking di cult: the complexity of...
132
click to vote
COLING
2010
15 years 1 months ago
2010
This paper shows that incorporating linguistically motivated features to ensure correct animacy and number agreement in an averaged perceptron ranking model for CCG realization he...
203
click to vote
CORR
2012
Springer
14 years 1 months ago
2012
Springer
Determinantal point processes (DPPs), which arise in random matrix theory and quantum physics, are natural models for subset selection problems where diversity is preferred. Among...
179
click to vote
CAPTECH
1998
Springer
15 years 10 months ago
1998
Springer
Simulation of natural human movement has proven to be a challenging problem, difficult to be solved by more or less traditional bioinspired strategies. In opposition to several exi...
121
click to vote
ICCS
2003
Springer
15 years 11 months ago
2003
Springer
E-Marketplace is a man-made profit center with emergent customer requirements. This emergence nature poses many difficulties for e-marketplace to satisfy its customers and thus aff...