42738 search results - page 120 / 8548 » Search Computing Systems |
116
click to vote
CHI
2003
ACM
16 years 3 months ago
2003
ACM
This research investigates the cognitive strategies and eye movements that people use to search for a known item in a hierarchical computer display. Computational cognitive models...
128
click to vote
GLVLSI
2009
IEEE
15 years 9 months ago
2009
IEEE
The sequential depth determines the completeness of bounded model checking in design verification. Recently, a SATbased method is proposed to compute the sequential depth of a de...
149
Voted
WINE
2007
Springer
15 years 9 months ago
2007
Springer
A context in sponsored search is additional information about a query, such as the user’s age, gender or location, that can change an advertisement’s relevance or an advertise...
118
click to vote
SIGMETRICS
2008
ACM
15 years 2 months ago
2008
ACM
Despite significant efforts to obtain an accurate picture of the Internet's actual connectivity structure at the level of individual autonomous systems (ASes), much has remai...
122
Voted
CEC
2007
IEEE
15 years 7 months ago
2007
IEEE
Routing in computer networks is a nonlinear combinatorial optimization problem with numerous constraints and is classified as an NP-complete problem. There are certain important Qo...