5085 search results - page 423 / 1017 » Multidimensional Design by Examples |
185
click to vote
VLSID
2007
IEEE
16 years 8 months ago
2007
IEEE
Boolean Satisfiability is seeing increasing use as a decision procedure in Electronic Design Automation (EDA) and other domains. Most applications encode their domain specific cons...
177
click to vote
CHI
2010
ACM
16 years 2 months ago
2010
ACM
This paper explores how homeless young people, aged 1325, make use of information systems in daily life. Observed in a community technology center, four different examples of uses...
207
click to vote
ICDCS
2009
IEEE
16 years 2 months ago
2009
IEEE
Although distributed object systems, for example RMI and CORBA, enable object-oriented programs to be easily distributed across a network, achieving acceptable performance usually...
187
click to vote
FOCS
2009
IEEE
16 years 2 months ago
2009
IEEE
Statistical query (SQ) learning model of Kearns is a natural restriction of the PAC learning model in which a learning algorithm is allowed to obtain estimates of statistical prop...
195
click to vote
MHCI
2009
Springer
16 years 2 months ago
2009
Springer
A pressure sensing based single-handed interaction model is presented in this paper. Unlike traditional desktop GUI model, mobile UI model has not been established yet. For exampl...