236 search results - page 14 / 48 » heuristics 2002 |
KDD
2002
ACM
15 years 10 months ago
2002
ACM
The analysis of user behavior on the Web presupposes a reliable reconstruction of the users' navigational activities. Cookies and server-generated session identifiers have be...
DATE
2002
IEEE
15 years 2 months ago
2002
IEEE
The core computation in BDD-based symbolic synthesis and verification is forming the image and pre-image of sets of states under the transition relation characterizing the sequen...
71
Voted
INFOCOM
2002
IEEE
15 years 2 months ago
2002
IEEE
Abstract-In this paper, a new preemption policy is proposed and complemented with an adaptive scheme that aims to minimize rerouting. The preemption policy combines the three main ...
RTSS
2002
IEEE
15 years 2 months ago
2002
IEEE
This paper presents a new workload model, called the state-dependent deadline model, for applications whose high-level timing requirements may change with time. The problem is how...
TCAD
2002
14 years 9 months ago
2002
This paper describes an application of a Constructive Genetic Algorithm (CGA) to the Gate Matrix Layout Problem (GMLP). The GMLP happens in very large scale integration (VLSI) desi...