3238 search results - page 252 / 648 » On the Computational Interpretation of Negation |
169
click to vote
ECWEB
2007
Springer
16 years 25 days ago
2007
Springer
In this paper, we propose a user interface for online shopping that uses a two dimensional product map to present products. This map is created using multidimensional scaling (MDS)...
147
click to vote
LICS
2006
IEEE
16 years 20 days ago
2006
IEEE
We give a semantic characterization of bounded complexity proofs. We introduce the notion of obsessional clique in the relational model of linear logic and show that restricting t...
165
click to vote
WMTE
2006
IEEE
16 years 20 days ago
2006
IEEE
MyArtSpace is a service on mobile phones for enquiry-led museum learning. It enables students to create their own interpretations of museum visits through descriptions of objects,...
171
click to vote
ICPADS
2005
IEEE
16 years 8 days ago
2005
IEEE
In this paper we report the impact of the Random Waypoint model on infrastructure wireless networks that utilise multi-rate scheme. The Waypoint model causes a higher concentratio...
147
click to vote
ECAL
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. Developmental models simulate the spatio-temporal development of a complex system. The system described in this paper combines the advantages of a number of previously di...