1271 search results - page 166 / 255 » On Simulation-Checking with Sequential Systems |
136
click to vote
AUIC
2004
IEEE
15 years 10 months ago
2004
IEEE
Conventional travel itineraries list travel related information, such as flights and hotel bookings, in a chronological order of date and time. As such the only observable relatio...
162
click to vote
PDP
1995
IEEE
15 years 9 months ago
1995
IEEE
We investigate the parallel implementation of the diagonal{implicitly iterated Runge{ Kutta (DIIRK) method, an iteration method based on a predictor{corrector scheme. This method ...
191
click to vote
AAAI
2007
15 years 8 months ago
2007
This paper addresses the problem of recovering the locations of both mobile devices and access points from radio signals that come in a stream manner, a problem which we call onli...
154
click to vote
IJCAI
2007
15 years 7 months ago
2007
An “active learning system” will sequentially decide which unlabeled instance to label, with the goal of efficiently gathering the information necessary to produce a good cla...
152
click to vote
WSC
2004
15 years 7 months ago
2004
Simulation plays a vital role in identifying the best system design from among a set of competing designs. To improve simulation efficiency, ranking and selection techniques are o...