39362 search results - page 7318 / 7873 » Global Computing Systems |
184
click to vote
ETS
2007
IEEE
15 years 9 months ago
2007
IEEE
Software-Based Self-Test (SBST) has emerged as an effective strategy for on-line testing of processors integrated in non-safety critical embedded system applications. Among the mo...
241
click to vote
CSL
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. We present decision procedures for logical constraints involving collections such as sets, multisets, and fuzzy sets. Element membership in our collections is given by ch...
171
click to vote
DAS
2008
Springer
15 years 9 months ago
2008
Springer
Certain forms of mathematical expression are used more often than others in practice. A quantitative understanding of actual usage can provide additional information to improve th...
224
click to vote
DIMEA
2008
15 years 9 months ago
2008
Can Augmented Reality (AR) techniques inform the design and implementation of a mobile multimedia guide for the museum setting? Drawing from our experience both on previous mobile...
271
click to vote
DIMEA
2008
15 years 9 months ago
2008
3D virtual environments are increasingly used for education, business and recreation but are often inaccessible to users who are visually impaired, effectively creating a digital ...