2393 search results - page 326 / 479 » Fuzzy-UCS: preliminary results |
148
click to vote
ASPDAC
2006
ACM
16 years 14 days ago
2006
ACM
Commonly used pattern sources in simulation-based verification include random, guided random, or design verification patterns. Although these patterns may help bring the design ...
159
click to vote
CLEANDB
2006
ACM
16 years 14 days ago
2006
ACM
Data quality is a serious concern in every data management application, and a variety of quality measures have been proposed, including accuracy, freshness and completeness, to ca...
164
click to vote
CSCW
2006
ACM
16 years 14 days ago
2006
ACM
Rendezvous is a conference call solution that leverages Voice over IP, enterprise calendaring, instant messaging, and rich client functionality to enhance the user experience and ...
152
click to vote
ETRA
2006
ACM
16 years 13 days ago
2006
ACM
This paper describes an empathic software agent (ESA) interface using eye movement information to facilitate empathy-relevant reasoning and behavior. Eye movement tracking is used...
137
click to vote
ISSTA
2006
ACM
16 years 13 days ago
2006
ACM
Finite-state verification techniques are often hampered by the stateexplosion problem. One proposed approach for addressing this problem is assume-guarantee reasoning. Using rece...