3052 search results - page 404 / 611 » A community-aware search engine |
175
click to vote
ICCAD
1997
IEEE
15 years 11 months ago
1997
IEEE
An algorithm that remains in use at the core of many partitioning systems is the Kernighan-Lin algorithm and a variant the Fidducia-Matheysses (FM) algorithm. To understand the FM...
170
click to vote
HT
1997
ACM
15 years 11 months ago
1997
ACM
Traditionally hypertexts have been limited in size by the manual effort required to create hypertext links. In addition, large hyper–linked collections may overwhelm users with ...
244
click to vote
ECHT
1992
15 years 11 months ago
1992
An approach to exible hyperbase hypertext database support predicated on the notion of extensibility is presented. The extensible hypertext platform Hyperform implements basic hyp...
170
click to vote
SIGIR
2010
ACM
15 years 11 months ago
2010
ACM
In this paper we analyze queries and sessions intended to satisfy children’s information needs using a large-scale query log. The aim of this analysis is twofold: i) To identify...
207
click to vote
GECCO
2007
Springer
15 years 11 months ago
2007
Springer
Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulae on the program variables. Most model checke...