2933 search results - page 418 / 587 » The future of image search |
140
click to vote
ICCAD
2002
IEEE
16 years 3 months ago
2002
IEEE
Within the verification community, there has been a recent increase in interest in Quantified Boolean Formula evaluation (QBF) as many interesting sequential circuit verification ...
154
click to vote
CHI
2010
ACM
16 years 1 months ago
2010
ACM
In an online experiment, I apply theory from psychology and communications to find out whether group information management tasks are governed by the same communication processes...
213
click to vote
EVOW
2010
Springer
16 years 1 months ago
2010
Springer
Overlapping genes (encoded on the same DNA strand but in different frames) are thought to be rare and, therefore, were largely neglected in the past. In a test set of 800 viruses ...
156
click to vote
CEC
2009
IEEE
16 years 1 months ago
2009
IEEE
— Genetic algorithms (GAs) have been argued to constitute a flexible search thereby enabling to solve difficult problems which classical optimization methodologies may find ha...
185
click to vote
CSE
2009
IEEE
16 years 1 months ago
2009
IEEE
—When the Internet was conceived, its fundamental operation was envisioned to be point-to-point communication allowing anybody to talk directly to anybody. With its increasing su...