14386 search results - page 2518 / 2878 » Algorithms for user interfaces |
165
click to vote
TACAS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. The Succinct Solver Suite offers two analysis engines for solving data and control flow problems expressed in clausal form in a large fragment of first order logic. Th...
211
click to vote
WCW
2004
Springer
15 years 11 months ago
2004
Springer
As wireless networks increase in popularity, the development of efficient content distribution techniques to meet the growing and constantly changing client demand becomes a necess...
187
click to vote
ICDM
2003
IEEE
15 years 11 months ago
2003
IEEE
Sequential pattern mining has been studied extensively in data mining community. Most previous studies require the specification of a minimum support threshold to perform the min...
138
click to vote
ICSM
2003
IEEE
15 years 11 months ago
2003
IEEE
Moving to smaller libraries can be considered as a relevant task when porting software systems to limited-resource devices (e.g., hand-helds). Library miniaturization will be part...
174
click to vote
INFOCOM
2003
IEEE
15 years 11 months ago
2003
IEEE
—We consider dynamic routing and power allocation for a wireless network with time-varying channels. The network consists of power constrained nodes that transmit over wireless l...