1271 search results - page 166 / 255 » On Simulation-Checking with Sequential Systems |
AUIC
2004
IEEE
14 years 1 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...
PDP
1995
IEEE
14 years 1 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 ...
AAAI
2007
14 years 14 days 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...
IJCAI
2007
13 years 11 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...
WSC
2004
13 years 11 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...