3652 search results - page 596 / 731 » A study of query length |
155
click to vote
STOC
2000
ACM
15 years 9 months ago
2000
ACM
Multiple sequence alignment is a fundamental problem in computational biology. Because of its notorious difficulties, aligning sequences within a constant band (c-diagonal) is a ...
130
click to vote
EUROCOLT
1999
Springer
15 years 9 months ago
1999
Springer
The present paper motivates the study of mind change complexity for learning minimal models of length-bounded logic programs. It establishes ordinal mind change complexity bounds ...
159
click to vote
IPPS
1998
IEEE
15 years 9 months ago
1998
IEEE
We consider the problem of location management of mobile users. The objective is to keep track of the mobile users in order to deliver calls. The IS-41 is a simple strategy for loc...
158
click to vote
RIDE
1998
IEEE
15 years 9 months ago
1998
IEEE
The Enhanced Pay-Per-View (EPPV) model for providing continuous-media services associates with each continuous-media clip a display frequency that depends on the clip's popula...
140
click to vote
RTSS
1998
IEEE
15 years 9 months ago
1998
IEEE
Timed and hybrid automata are extensions of finite-state machines for formal modeling of embedded systems with both discrete and continuous components. Reachability problems for t...