3363 search results - page 502 / 673 » Neurobiology of decision making |
CL
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. Many key verification problems such as boundedmodel-checking,circuit verification and logical cryptanalysis are formalized with combined clausal and affine logic (i.e....
119
click to vote
DIGITALCITIES
2000
Springer
15 years 6 months ago
2000
Springer
The paper outlines results of feasibility experiments with new functions for a local version of the digital city, performed under a collective name 'Engineering City Oulu'...
103
click to vote
ECAI
2000
Springer
15 years 6 months ago
2000
Springer
The problem of merging multiple sources information is central in many information processing areas such as databases integration problems, multiple criteria decision making, exper...
107
click to vote
DAC
1999
ACM
15 years 6 months ago
1999
ACM
This paper presents a new algorithm for exact estimation of the minimum memory size required by programs dealing with array computations. Memory size is an important factor a ecti...
130
click to vote
DSRT
1999
IEEE
15 years 6 months ago
1999
IEEE
Virtual spaces based on the metaphor of "shared network places" are becoming a well accepted implementation approach for multiuser, multimedia, distributed cooperative w...