10493 search results - page 1322 / 2099 » Dynamic Word Problems |
188
click to vote
KBSE
2002
IEEE
16 years 12 days ago
2002
IEEE
Generating test inputs for a path in a function with integer and real parameters is an important but difficult problem. The problem becomes more difficult when pointers are pass...
169
click to vote
ICALP
2010
Springer
16 years 8 days ago
2010
Springer
Abstract. We study the “subgraph connectivity” problem for undirected graphs with sublinear vertex update time. In this problem, we can make vertices active or inactive in a gr...
223
click to vote
CDC
2009
IEEE
16 years 6 days ago
2009
IEEE
— This paper addresses model reduction for a Markov chain on a large state space. A simulation-based framework is introduced to perform state aggregation of the Markov chain base...
195
click to vote
ICTAC
2009
Springer
16 years 2 days ago
2009
Springer
Abstract. Given a nite state machine denoting the speci cation of a system, nding some short interaction sequences capable to reach some/all states or transitions of this machine...
194
click to vote
SC
2000
ACM
15 years 12 months ago
2000
ACM
We present a scalable, high-performance solution to multidimensional recurrences that arise in adaptive statistical designs. Adaptive designs are an important class of learning al...