3363 search results - page 195 / 673 » Neurobiology of decision making |
178
click to vote
IEAAIE
2009
Springer
15 years 4 months ago
2009
Springer
Knowledge engineering techniques are becoming useful and popular components of hybrid integrated systems used to solve complicated practical problems in different fields. Knowledge...
263
click to vote
EUROMED
2010
15 years 3 months ago
2010
Despite the multitude of impact measurement techniques available to heritage site managers there is a case for the bigger strategic picture to figure more strongly in impact measur...
141
click to vote
CHI
2005
ACM
16 years 7 months ago
2005
ACM
This paper describes an investigation of using interactive sonification (non-speech sound) to present geo-referenced statistical data to vision-impaired users for problem solving ...
143
click to vote
HICSS
2007
IEEE
16 years 27 days ago
2007
IEEE
The authors present experimental and simulation results of an outcome-based learning model as it applies to the identification of emerging threats. This model integrates judgment,...
203
click to vote
TIME
2007
IEEE
16 years 25 days ago
2007
IEEE
We present a proof searching technique for the natural deduction calculus for the propositional linear-time temporal logic and prove its correctness. This opens the prospect to ap...