3363 search results - page 520 / 673 » Neurobiology of decision making |
109
click to vote
ACAL
2007
Springer
15 years 3 months ago
2007
Springer
This paper addresses the topic of how architectural visual experience can be represented and utilised by a software system. The long-term aim is to equip an artificial agent with ...
118
click to vote
ACSD
2007
IEEE
15 years 3 months ago
2007
IEEE
We present an improvement of the SAT-based Unbounded Model Checking (UMC) algorithm. UMC, a symbolic approach introduced in [7], uses propositional formulas in conjunctive normal ...
129
click to vote
DIAGRAMS
2010
Springer
15 years 3 months ago
2010
Springer
Creating and editing graphs and node-link diagrams by means of digital tools are crucial activities in domains such as software or business process modeling. However, these tools h...
118
click to vote
CONEXT
2008
ACM
15 years 3 months ago
2008
ACM
In response to the limitations of the Internet architecture when used for applications for which it was not originally designed, a series of clean slate efforts have emerged to sh...
CONEXT
2008
ACM
15 years 3 months ago
2008
ACM
Today's Internet's routing paths are inefficient with respect to both connectivity and the market for interconnection. The former manifests itself via needlessly long pa...