3020 search results - page 518 / 604 » Type Analysis of Prolog Using Type Graphs |
TSE
2002
13 years 8 months ago
2002
Software system documentation is almost always expressed informally in natural language and free text. Examples include requirement specifications, design documents, manual pages, ...
PSYCHNOLOGY
2007
13 years 8 months ago
2007
This paper argues that there are two types of mobile phone user. The study focused on the interactional experience of mobile phone calls and text messages. The research involved 3...
CIKM
2010
Springer
13 years 7 months ago
2010
Springer
In advertising and content relevancy prediction it is important to understand whether, over time, information that reaches one demographic group spreads to others. In this paper w...
IJCV
2010
13 years 7 months ago
2010
We develop a computational model of shape that extends existing Riemannian models of shape of curves to multidimensional objects of general topological type. We construct shape sp...
IJRR
2010
13 years 7 months ago
2010
This paper considers grasps and fixtures whose contacts react according to force-displacement laws consistent with friction constrains at the contacts. The passive force closure s...