1894 search results - page 219 / 379 » Towards Mobile Reasoning |
152
click to vote
GI
2009
Springer
15 years 4 months ago
2009
Springer
Abstract: Research in the field of academic teaching and life focuses on the integration of recent technologies. Additionally, new trends within the current usage of e.g. the Inter...
282
click to vote
GIS
2008
ACM
16 years 7 months ago
2008
ACM
Existing techniques for autonomous indoor navigation are often environment-specific and thus limited in terms of their applicability. In this paper, we take a fundamentally differ...
189
click to vote
LICS
2009
IEEE
16 years 1 months ago
2009
IEEE
A psi-calculus is an extension of the pi-calculus with nominal data types for data structures and for logical assertions representing facts about data. These can be transmitted be...
147
click to vote
EMSOFT
2004
Springer
15 years 12 months ago
2004
Springer
Performance is an important quality attribute that needs to be and managed proactively. Abstract models of the system are not very useful if they do not produce reasonably accurat...
156
click to vote
ICDM
2007
IEEE
16 years 25 days ago
2007
IEEE
Using mobile devices, such as smart phones, people may create and distribute different types of digital content (e.g., photos, videos). One of the problems is that digital content...