2904 search results - page 349 / 581 » Number Forms in the Brain |
171
click to vote
METRICS
2005
IEEE
16 years 10 days ago
2005
IEEE
As mobile applications become more pervasive, the need for assessing their quality, particularly in terms of efficiency (i.e. performance and resource utilisation), increases. Alt...
192
click to vote
SEUS
2005
IEEE
16 years 10 days ago
2005
IEEE
In the last years the number of electronic control systems has increased significantly. In order to stay competitive more and more functionality is integrated into more and more p...
171
click to vote
TPHOL
2005
IEEE
16 years 10 days ago
2005
IEEE
Abstract. How close are we to a world where every paper on programming languages is accompanied by an electronic appendix with machinechecked proofs? We propose an initial set of b...
211
click to vote
HASKELL
2005
ACM
16 years 10 days ago
2005
ACM
Proof assistants based on dependent type theory are closely related to functional programming languages, and so it is tempting to use them to prove the correctness of functional p...
152
click to vote
MM
2005
ACM
16 years 9 days ago
2005
ACM
Pervasive gaming is a new form of multimedia entertainment that extends the traditional computer gaming experience out into the real world. Through a combination of personal devic...