4134 search results - page 357 / 827 » Collaborative Practice Research |
118
click to vote
DAC
2009
ACM
16 years 5 months ago
2009
ACM
Semiconductor design companies are in a continuous search for design tools that address the ever increasing chip design complexity coupled with strict time-to-market schedules and...
125
click to vote
WWW
2008
ACM
16 years 5 months ago
2008
ACM
A half-day single track workshop is designed to gather academic researchers and industrial practitioners at to share ideas and knowledge of know-how, and to discuss all relevant i...
142
click to vote
CHI
2007
ACM
16 years 5 months ago
2007
ACM
In this Special Interest Group (SIG) the attendees will discuss methods for capturing usability data over time. Specifically, we will share industry best practices, brainstorm alt...
116
click to vote
CHI
2002
ACM
16 years 5 months ago
2002
ACM
Hunter Gatherer is a tool that lets Web users carry out three main tasks: (1) collect components from within Web pages; (2) represent those components in a collection; and (3) edi...
130
click to vote
CADE
2007
Springer
16 years 5 months ago
2007
Springer
Much research concerning Satisfiability Modulo Theories is devoted to the design of efficient SMT-solvers that integrate a SATsolver with T -satisfiability procedures. The rewrite-...