1840 search results - page 76 / 368 » time 2002 |
118
click to vote
TIME
2002
IEEE
15 years 9 months ago
2002
IEEE
We show the expressiveness provided by a Labelled point-based metric model for specifying and reasoning about complex disjunctive temporal constraints. The model allows us to mana...
114
click to vote
ORL
2002
15 years 3 months ago
2002
Dial-a-Ride systems involve dispatching a vehicle to satisfy demands from a set of customers who call a vehicle operating agency requesting that an item be picked up from a specif...
182
click to vote
CORR
2002
Springer
15 years 3 months ago
2002
Springer
Abstract: Although a quantum state requires exponentially many classical bits to describe, the laws of quantum mechanics impose severe restrictions on how that state can be accesse...
117
click to vote
DATE
2002
IEEE
15 years 9 months ago
2002
IEEE
This paper presents an innovative algorithm for the automatic generation of March Tests. The proposed approach is able to generate an optimal March Test for an unconstrained set o...
178
click to vote
ENTCS
2002
15 years 3 months ago
2002
We design an efficient algorithm that maximizes the sum of array elements of a subarray of a two-dimensional array. The solution can be used to find the most promising array porti...