9067 search results - page 1635 / 1814 » Adaptive Model Checking |
215
click to vote
ISPD
2005
ACM
16 years 13 days ago
2005
ACM
Modern advances in reconfigurable analog technologies are allowing field-programmable analog arrays (FPAAs) to dramatically grow in size, flexibility, and usefulness. With thes...
185
click to vote
IUI
2005
ACM
16 years 13 days ago
2005
ACM
A task-oriented space can benefit from an augmented reality interface that layers the existing tools and surfaces with useful information to make cooking more easy, safe and effic...
198
Voted
JCDL
2005
ACM
16 years 13 days ago
2005
ACM
Recommender systems can provide valuable services in a digital library environment, as demonstrated by its commercial success in book, movie, and music industries. One of the most...
194
click to vote
MM
2005
ACM
16 years 13 days ago
2005
ACM
The attentive region extraction is a challenging issue for semantic interpretation of image and video content. The successful attentive region extraction greatly facilitates image...
187
click to vote
OZCHI
2005
ACM
16 years 13 days ago
2005
ACM
Many software systems would significantly improve performance if they could interpret the nonverbal cues in their user’s interactions as humans normally do. Currently, Intellige...