3363 search results - page 396 / 673 » Neurobiology of decision making |
106
click to vote
CAV
2004
Springer
15 years 7 months ago
2004
Springer
SAL 2 augments the specification language and explicit-state model checker of SAL 1 with high-performance symbolic and bounded model checkers, and with novel infinite bounded and...
119
click to vote
ICCS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. A new approach for acquiring knowledge of parallel applications regarding resource usage and for searching similarity on workload traces is presented. The main goal is to...
109
click to vote
AOSD
2010
ACM
15 years 7 months ago
2010
ACM
The integration of third-party aspects into applications creates security challenges. Due to the intrusive impact of aspects, one cannot guarantee that the dynamic composition of ...
158
click to vote
AGP
2003
IEEE
15 years 7 months ago
2003
IEEE
The paper discusses some innovative aspects related to the integration of a framework based on Answer Set Programming in an Information Retrieval Agent, namely, the Global Search A...
152
click to vote
HICSS
2003
IEEE
15 years 7 months ago
2003
IEEE
To determine the important trends and issues in thousands of comments from customers and make strategic decisions about business operations, managers must go over these messages m...