Sciweavers

3595 search results - page 555 / 719
» The user experience: designs and adaptations
Sort
View
CAINE
2003
15 years 8 months ago
Development of a Computational Toolkit for Biomechanical Analysis and Simulation: The Vertebrate Analyzer
This paper discusses the development of a computational modeling and analysis toolkit to construct, animate, and biomechanically analyze sophisticated models of vertebrates. Users...
K. F. Hulme, F. C. Mendel, K. P. Chugh
I3E
2003
72views Business» more  I3E 2003»
15 years 7 months ago
Reducing Normative and Informative Asymmetries in Fiscal Management for Local Administrations
: Fiscal incomes are vital for Governments, both for central and local agencies, therefore on-line fiscal services will play a key role in the e-Government perspective. The creatio...
M. Carducci, Mario A. Bochicchio, Antonella Longo
IJWBC
2006
70views more  IJWBC 2006»
15 years 6 months ago
Influence of spatial ability in navigation: using look-ahead breadcrumbs on The Web
: Spatial implications of the commonly used `navigation' metaphor have lead many researchers to investigate the relation between individual differences and navigation. This st...
Ishtiaq Ahmed, James Blustein
PERCOM
2008
ACM
15 years 6 months ago
The sensor internet at work: Locating everyday items using mobile phones
We present a system for monitoring and locating everyday items using mobile phones. The system is based on phones which are enhanced with the capability to detect electronically t...
Christian Frank, Philipp Bolliger, Friedemann Matt...
ICFEM
2010
Springer
15 years 5 months ago
Loop Invariant Synthesis in a Combined Domain
Abstract. Automated verification of memory safety and functional correctness for heap-manipulating programs has been a challenging task, especially when dealing with complex data ...
Shengchao Qin, Guanhua He, Chenguang Luo, Wei-Ngan...