3379 search results - page 274 / 676 » Combinators for Interaction Nets |
153
click to vote
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
We compare 12 new encodings for representing of FPGA detailed routing problems as equivalent Boolean Satisfiability (SAT) problems against the only 2 previously used encodings. We...
198
click to vote
ECIR
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. This paper describes a novel interaction technique to support content-based image search in large image collections. The idea is to represent each image as a vertex in a ...
154
click to vote
CHI
2010
ACM
15 years 11 months ago
2010
ACM
Unlike machines, we humans are prone to boredom when we perform routine activities for long periods of time. Workers’ mental engagement in boring tasks diminishes, which eventua...
144
click to vote
INTERACT
2007
15 years 8 months ago
2007
User interruptability has become an important topic of study in Human-Computer Interaction (HCI). However, automatically determining the availability of users is still problematic....
203
click to vote
JMLR
2010
15 years 1 months ago
2010
The scientific literature is a rich and challenging data source for research in systems biology, providing numerous interactions between biological entities. Text mining technique...