419 search results - page 76 / 84 » Automatic Generation of Device User-Interfaces |
149
click to vote
CAV
2009
Springer
16 years 3 months ago
2009
Springer
Context-bounded analysis is an attractive approach to verification of concurrent programs. Bounding the number of contexts executed per thread not only reduces the asymptotic compl...
108
Voted
MOBISYS
2005
ACM
16 years 2 months ago
2005
ACM
? We present a system for automatic monitoring and timely dissemination of multimedia information to a range of mobile information appliances based on each user's interest pro...
109
click to vote
ICCAD
2008
IEEE
15 years 11 months ago
2008
IEEE
Proteins crystallization is a commonly used technique for protein analysis and subsequent drug design. It predicts the three-dimensional arrangement of the constituent amino acids...
99
Voted
PERVASIVE
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. There are endless possibilities for the next generation of mobile social applications that automatically determine your social context. A key element of such applications...
226
click to vote
IBPRIA
2007
Springer
15 years 8 months ago
2007
Springer
Carotid atherosclerosis is the most common life-threatening neurological disease and therefore an accurate assessment of atheromatous plaques is clinically important. Several studi...