3363 search results - page 314 / 673 » Neurobiology of decision making |
162
click to vote
WWW
2003
ACM
16 years 7 months ago
2003
ACM
Wireless access with mobile devices is a promising addition to the WWW and traditional electronic business. Mobile devices provide convenience and portable access to the huge info...
309
click to vote
POPL
2009
ACM
16 years 7 months ago
2009
ACM
In this paper, we show how pattern matching can be seen to arise from a proof term assignment for the focused sequent calculus. This use of the Curry-Howard correspondence allows ...
154
click to vote
CHI
2008
ACM
16 years 7 months ago
2008
ACM
In this work-in-progress we present some ideas and findings involving map design and human performance. Satellites has once and for all automated geographic positioning and result...
170
click to vote
VLSID
2002
IEEE
16 years 7 months ago
2002
IEEE
We present a methodology and algorithms for automatic refinement from a given design specification to an architecture model based on decisions in architecture exploration. An arch...
160
click to vote
CHI
2004
ACM
16 years 7 months ago
2004
ACM
Structured Problem Report Formats have been key to improving the assessment of usability methods. Once extended to record analysts' rationales, they not only reveal analyst b...