3363 search results - page 405 / 673 » Neurobiology of decision making |
114
click to vote
ENTCS
2007
15 years 1 months ago
2007
Symbolic model checking is PSPACE complete. Since QBF is the standard PSPACE complete problem, it is most natural to encode symbolic model checking problems as QBF formulas and th...
120
click to vote
NC
2006
15 years 1 months ago
2006
Multivariate Time Series (MTS) data are widely available in different fields including medicine, finance, bioinformatics, science and engineering. Modelling MTS data accurately is...
114
click to vote
IPM
2007
15 years 1 months ago
2007
An information retrieval performance measure that is interpreted as the percent of perfect performance (PPP) can be used to study the effects of the inclusion of specific documen...
103
click to vote
ENVSOFT
2002
15 years 1 months ago
2002
The integration of environmental models and Geographical Information Systems (GIS) usually takes two approaches: loose coupling and tight coupling. This paper, however, presents a...
MT
1998
15 years 1 months ago
1998
Sentence alignment is the problem of making explicit the relations that exist between the sentences of two texts that are known to be mutual translations. Automatic sentence align...